Wed, 17 Nov 2010 11:46:39 -0800 done with intro for now
Kevin Walker <kevin@canyon23.net> [Wed, 17 Nov 2010 11:46:39 -0800] rev 641
done with intro for now
Wed, 17 Nov 2010 11:26:00 -0800 trying to resolve
Kevin Walker <kevin@canyon23.net> [Wed, 17 Nov 2010 11:26:00 -0800] rev 640
trying to resolve
Wed, 17 Nov 2010 11:16:39 -0800 maybe if I commit now merging will be easier?
Kevin Walker <kevin@canyon23.net> [Wed, 17 Nov 2010 11:16:39 -0800] rev 639
maybe if I commit now merging will be easier?
Wed, 17 Nov 2010 11:16:27 -0800 very paltry start on colimits, out of time for now
Scott Morrison <scott@tqft.net> [Wed, 17 Nov 2010 11:16:27 -0800] rev 638
very paltry start on colimits, out of time for now
Wed, 17 Nov 2010 10:56:17 -0800 minor changes to rewritten intro
Scott Morrison <scott@tqft.net> [Wed, 17 Nov 2010 10:56:17 -0800] rev 637
minor changes to rewritten intro
Wed, 17 Nov 2010 10:23:37 -0800 Automated merge with https://tqft.net/hg/blob/
Scott Morrison <scott@tqft.net> [Wed, 17 Nov 2010 10:23:37 -0800] rev 636
Automated merge with https://tqft.net/hg/blob/
Mon, 15 Nov 2010 09:49:04 -0800 Automated merge with https://tqft.net/hg/blob/
Scott Morrison <scott@tqft.net> [Mon, 15 Nov 2010 09:49:04 -0800] rev 635
Automated merge with https://tqft.net/hg/blob/
Sun, 14 Nov 2010 19:43:47 -0800 Automated merge with https://tqft.net/hg/blob/
Scott Morrison <scott@tqft.net> [Sun, 14 Nov 2010 19:43:47 -0800] rev 634
Automated merge with https://tqft.net/hg/blob/
Sun, 14 Nov 2010 19:43:43 -0800 changing title?
Scott Morrison <scott@tqft.net> [Sun, 14 Nov 2010 19:43:43 -0800] rev 633
changing title?
Wed, 17 Nov 2010 09:17:07 -0800 more intro
Kevin Walker <kevin@canyon23.net> [Wed, 17 Nov 2010 09:17:07 -0800] rev 632
more intro
(0) -300 -100 -10 +10 +100 +300 tip