Scott Morrison <scott@tqft.net> [Tue, 09 Nov 2010 14:22:02 +0900] rev 595
making pinched products axioms terser, and writing a short proof of the higher deligne conjecture
Scott Morrison <scott@tqft.net> [Tue, 09 Nov 2010 14:03:58 +0900] rev 594
adding some figures for the axioms
Scott Morrison <scott@tqft.net> [Mon, 08 Nov 2010 10:23:10 +0900] rev 593
Automated merge with https://tqft.net/hg/blob/
Scott Morrison <scott@tqft.net> [Mon, 08 Nov 2010 10:22:02 +0900] rev 592
fixing labels on mapping-cylinders.pdf (R_1 and R_2 reversed)
Scott Morrison <scott@tqft.net> [Thu, 04 Nov 2010 17:02:06 +0900] rev 591
Automated merge with https://tqft.net/hg/blob/
Scott Morrison <scott@tqft.net> [Thu, 04 Nov 2010 17:01:56 +0900] rev 590
merging changes
Scott Morrison <scott@tqft.net> [Fri, 29 Oct 2010 11:42:35 +0900] rev 589
a few changes, maybe bad ones...
Scott Morrison <scott@tqft.net> [Fri, 29 Oct 2010 11:37:00 +0900] rev 588
fixing a type
Kevin Walker <kevin@canyon23.net> [Tue, 02 Nov 2010 06:38:40 -0700] rev 587
enrichment; decompositions (meta)
Kevin Walker <kevin@canyon23.net> [Tue, 02 Nov 2010 06:18:43 -0700] rev 586
restore and complete the fragment
Scott Morrison <scott@tqft.net> [Tue, 02 Nov 2010 21:22:53 +0900] rev 585
various, mostly working on axioms
Scott Morrison <scott@tqft.net> [Tue, 02 Nov 2010 08:41:11 +0900] rev 584
minor
Kevin Walker <kevin@canyon23.net> [Mon, 01 Nov 2010 08:40:51 -0700] rev 583
misc
Kevin Walker <kevin@canyon23.net> [Sun, 31 Oct 2010 22:56:33 -0700] rev 582
minor