Permalink
Commits on May 4, 2011
  1. degreeyear: changed to the year the degree was awarded

    Used to be the month the thesis was submitted, changed to be the year the degree was awarded.
    committed May 4, 2011
Commits on Aug 19, 2010
  1. crop: run in parallel

    committed Aug 19, 2010
Commits on Aug 11, 2010
  1. Improved pagelayout

    committed Aug 11, 2010
Commits on Aug 5, 2010
  1. Fixed phrasing of license

    committed Aug 5, 2010
  2. Fixed spelling of Francois' name

    committed Aug 5, 2010
Commits on Aug 4, 2010
  1. Revert "Made sans-serif fonts bold instead, as we were getting the wr…

    …ong kind of fonts"
    
    This reverts commit 73a28a5.
    committed Aug 4, 2010
Commits on Jun 15, 2010
  1. Removed DRAFT

    committed Jun 15, 2010
  2. Removed comments

    committed Jun 15, 2010
  3. Added acknowledgments

    committed Jun 15, 2010
Commits on May 6, 2010
Commits on May 4, 2010
  1. Turned confluence theorem into conjecture

    Also added some comments about what is needed in order to make it a theorem again.
    committed Apr 27, 2010
Commits on Apr 27, 2010
  1. Surjective modulo renaming

    committed Apr 27, 2010
Commits on Apr 24, 2010
  1. Der->Flow mapping is ambiguous

    committed Apr 24, 2010
  2. Der->Flow mapping is surjective

    committed Apr 24, 2010
  3. Removed old comments

    committed Apr 24, 2010
Commits on Apr 6, 2010
  1. Rewrote introduction

    committed Apr 6, 2010
  2. Added new references

    committed Apr 6, 2010
Commits on Mar 15, 2010
Commits on Mar 3, 2010
  1. Only talk about constructive soundness proofs of global reductions, t…

    …o be on the safe side
    committed Mar 3, 2010
  2. Minor fix

    committed Mar 3, 2010
  3. Rewrote introduction

    committed Mar 3, 2010
  4. Added remark about flow isomorphism and checking if a flow is associa…

    …ted with a derivation
    committed Mar 3, 2010
  5. Changed definition of flow associated with derivation, proved its uni…

    …queness (up to isomorphism), and remarked pitfalls
    committed Mar 3, 2010
  6. Changed a remark, there is no need to identify the top and bot vertic…

    …es when taking the union
    committed Mar 3, 2010
  7. Removed old comments

    committed Mar 3, 2010
Commits on Feb 12, 2010
  1. Started intro rewrite

    Tom Gundersen committed Feb 12, 2010
Commits on Feb 6, 2010
  1. Updated the list of papers slightly

    Tom Gundersen committed Feb 6, 2010
  2. Added another comment explaning the 'surjectivity' of the mapping fro…

    …m derivations to flows
    Tom Gundersen committed Feb 6, 2010