Tue, 09 Nov 2010 14:03:58 +0900 | Scott Morrison | adding some figures for the axioms | file | diff | annotate |
Thu, 04 Nov 2010 17:02:06 +0900 | Scott Morrison | Automated merge with https://tqft.net/hg/blob/ | file | diff | annotate |
Thu, 04 Nov 2010 17:01:56 +0900 | Scott Morrison | merging changes | file | diff | annotate |
Fri, 29 Oct 2010 11:42:35 +0900 | Scott Morrison | a few changes, maybe bad ones... | file | diff | annotate |
Tue, 02 Nov 2010 06:38:40 -0700 | Kevin Walker | enrichment; decompositions (meta) | file | diff | annotate |
Tue, 02 Nov 2010 06:18:43 -0700 | Kevin Walker | restore and complete the fragment | file | diff | annotate |