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
(0) -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 tip