Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 15, 2009

• Minor fixes suggested by Alessio.

  teg

  committed
  52e0c75

  Copy full SHA for 52e0c75

Commits on May 14, 2009

• Changed definition of Path Breaker

  teg

  committed
  e0d9a9f

  Copy full SHA for e0d9a9f

Commits on May 13, 2009

• Removed and changed parts of the introduction to derivations and atomic flows, commented the source accordingly

  teg

  committed
  101b587

  Copy full SHA for 101b587

Commits on May 10, 2009

• Fixed reference.

  teg

  committed
  8aed97d

  Copy full SHA for 8aed97d

• Typographical fixes

  teg

  committed
  d0ceece

  Copy full SHA for d0ceece

• Minor changes to the introduction to "The Core"

  teg

  committed
  5d594c1

  Copy full SHA for 5d594c1

Commits on May 9, 2009

• Turned around sentence in def and thm about norm

  teg

  committed
  0b37496

  Copy full SHA for 0b37496

• Updated remark for Alessio

  teg

  committed
  b81e3f2

  Copy full SHA for b81e3f2

• Turned a sentence around in DefCoreDer

  teg

  committed
  cf09405

  Copy full SHA for cf09405

• Fixed italics in DefCoreFlow

  teg

  committed
  1ee23ad

  Copy full SHA for 1ee23ad

• The ordered choice of components is given by the definition and needs not be made explicit.

  teg

  committed
  22a1941

  Copy full SHA for 22a1941

• Added annotations of changes

  teg

  committed
  6e13da0

  Copy full SHA for 6e13da0

Commits on May 7, 2009

• Introduced upper/lower edges.

  teg

  committed
  437da02

  Copy full SHA for 437da02

Commits on May 6, 2009

• Proved that \Norm is weakly streamlined.

  teg

  committed
  02a1df1

  Copy full SHA for 02a1df1

• Changed "top (bottom) edge" to "upper (lower) edge"

  teg

  committed
  a3eaff2

  Copy full SHA for a3eaff2

• Changed Proposition about paths after \Break

  Show description for cde72a1
  teg

  committed
  cde72a1

  Copy full SHA for cde72a1

• Changed the definition of \Norm

  Show description for e53050c
  teg

  committed
  e53050c

  Copy full SHA for e53050c

Commits on May 5, 2009

• Fix to big example

  Show description for 5391655
  teg

  committed
  5391655

  Copy full SHA for 5391655

• Fixed Formalism A notation

  Show description for d7763a7
  teg

  committed
  d7763a7

  Copy full SHA for d7763a7

• Changed example of Normalised flow

  Show description for 40ce3f6
  teg

  committed
  40ce3f6

  Copy full SHA for 40ce3f6

• Changed definition and theorem about Norm

  Show description for 5bf4e95
  teg

  committed
  5bf4e95

  Copy full SHA for 5bf4e95

• Introduced new top edge and new bottom edge

  Show description for 6c9f7bd
  teg

  committed
  6c9f7bd

  Copy full SHA for 6c9f7bd

Commits on May 4, 2009

• Clarified the definition of the core of an atomic flow

  teg

  committed
  d292c01

  Copy full SHA for d292c01

Commits on May 3, 2009

• Made sure that the core of a weakly-streamlined flow is the flow itself

  teg

  committed
  50bada6

  Copy full SHA for 50bada6

Commits on May 2, 2009

• Clarified remark about the path breaker proposition

  teg

  committed
  3f22f86

  Copy full SHA for 3f22f86

• Fixed typo's

  Show description for 9d30758
  teg

  committed
  9d30758

  Copy full SHA for 9d30758

• Rephrased definition of path breaker

  Show description for 30cedee
  teg

  committed
  30cedee

  Copy full SHA for 30cedee

• Made the Figure of the atomic flow of Break self-contained

  teg

  committed
  18b4076

  Copy full SHA for 18b4076

• Changed the labeling of edges in the atomic flow of Break

  Show description for a4a9601
  teg

  committed
  a4a9601

  Copy full SHA for a4a9601

• Fixed overlapping colors in the atomic flow of Break (hack)

  teg

  committed
  fb11c47

  Copy full SHA for fb11c47

• Fixed position of label in the definition of the core of a flow

  teg

  committed
  ac045be

  Copy full SHA for ac045be

Commits on Apr 28, 2009

• Made a formal definition of uniqueness modulo associativity of contractions in the preliminaries

  teg

  committed
  9a01b70

  Copy full SHA for 9a01b70

• Fixed the application of \swi in def of \Break

  Show description for ee6a3a2
  teg

  committed
  ee6a3a2

  Copy full SHA for ee6a3a2

• Created a subsection for the path breaker

  teg

  committed
  3524f79

  Copy full SHA for 3524f79

• Added a more detailed and correct overview of the Normaliser before 'The Core'

  Show description for 10ef6fe
  teg

  committed
  10ef6fe

  Copy full SHA for 10ef6fe

Pagination

Previous

Next