Thu, 04 Nov 2010 17:01:56 +0900 merging changes
Scott Morrison <scott@tqft.net> [Thu, 04 Nov 2010 17:01:56 +0900] rev 590
merging changes
Fri, 29 Oct 2010 11:42:35 +0900 a few changes, maybe bad ones...
Scott Morrison <scott@tqft.net> [Fri, 29 Oct 2010 11:42:35 +0900] rev 589
a few changes, maybe bad ones...
Fri, 29 Oct 2010 11:37:00 +0900 fixing a type
Scott Morrison <scott@tqft.net> [Fri, 29 Oct 2010 11:37:00 +0900] rev 588
fixing a type
Tue, 02 Nov 2010 06:38:40 -0700 enrichment; decompositions (meta)
Kevin Walker <kevin@canyon23.net> [Tue, 02 Nov 2010 06:38:40 -0700] rev 587
enrichment; decompositions (meta)
Tue, 02 Nov 2010 06:18:43 -0700 restore and complete the fragment
Kevin Walker <kevin@canyon23.net> [Tue, 02 Nov 2010 06:18:43 -0700] rev 586
restore and complete the fragment
Tue, 02 Nov 2010 21:22:53 +0900 various, mostly working on axioms
Scott Morrison <scott@tqft.net> [Tue, 02 Nov 2010 21:22:53 +0900] rev 585
various, mostly working on axioms
Tue, 02 Nov 2010 08:41:11 +0900 minor
Scott Morrison <scott@tqft.net> [Tue, 02 Nov 2010 08:41:11 +0900] rev 584
minor
Mon, 01 Nov 2010 08:40:51 -0700 misc
Kevin Walker <kevin@canyon23.net> [Mon, 01 Nov 2010 08:40:51 -0700] rev 583
misc
Sun, 31 Oct 2010 22:56:33 -0700 minor
Kevin Walker <kevin@canyon23.net> [Sun, 31 Oct 2010 22:56:33 -0700] rev 582
minor
Sun, 31 Oct 2010 15:14:36 -0700 some n-cat motivation
Kevin Walker <kevin@canyon23.net> [Sun, 31 Oct 2010 15:14:36 -0700] rev 581
some n-cat motivation
(0) -300 -100 -10 +10 +100 +300 tip