| Tue, 09 Nov 2010 17:48:16 -0800 | Kevin Walker | fixing typo | changeset | files |
| Wed, 10 Nov 2010 10:40:29 +0900 | Scott Morrison | Automated merge with https://tqft.net/hg/blob/ | changeset | files |
| Tue, 09 Nov 2010 14:22:02 +0900 | Scott Morrison | making pinched products axioms terser, and writing a short proof of the higher deligne conjecture | changeset | files |
| Tue, 09 Nov 2010 14:03:58 +0900 | Scott Morrison | adding some figures for the axioms | changeset | files |
| Mon, 08 Nov 2010 10:23:10 +0900 | Scott Morrison | Automated merge with https://tqft.net/hg/blob/ | changeset | files |
| Mon, 08 Nov 2010 10:22:02 +0900 | Scott Morrison | fixing labels on mapping-cylinders.pdf (R_1 and R_2 reversed) | changeset | files |
| Thu, 04 Nov 2010 17:02:06 +0900 | Scott Morrison | Automated merge with https://tqft.net/hg/blob/ | changeset | files |
| Thu, 04 Nov 2010 17:01:56 +0900 | Scott Morrison | merging changes | changeset | files |
| Fri, 29 Oct 2010 11:42:35 +0900 | Scott Morrison | a few changes, maybe bad ones... | changeset | files |
| Fri, 29 Oct 2010 11:37:00 +0900 | Scott Morrison | fixing a type | changeset | files |
| Tue, 02 Nov 2010 06:38:40 -0700 | Kevin Walker | enrichment; decompositions (meta) | changeset | files |
| Tue, 02 Nov 2010 06:18:43 -0700 | Kevin Walker | restore and complete the fragment | changeset | files |
| Tue, 02 Nov 2010 21:22:53 +0900 | Scott Morrison | various, mostly working on axioms | changeset | files |
| Tue, 02 Nov 2010 08:41:11 +0900 | Scott Morrison | minor | changeset | files |
| Mon, 01 Nov 2010 08:40:51 -0700 | Kevin Walker | misc | changeset | files |