Wed, 17 Nov 2010 11:26:00 -0800 Kevin Walker trying to resolve
Wed, 17 Nov 2010 11:16:39 -0800 Kevin Walker maybe if I commit now merging will be easier?
Wed, 17 Nov 2010 11:16:27 -0800 Scott Morrison very paltry start on colimits, out of time for now
Wed, 17 Nov 2010 10:56:17 -0800 Scott Morrison minor changes to rewritten intro
Wed, 17 Nov 2010 10:23:37 -0800 Scott Morrison Automated merge with https://tqft.net/hg/blob/
Mon, 15 Nov 2010 09:49:04 -0800 Scott Morrison Automated merge with https://tqft.net/hg/blob/
Sun, 14 Nov 2010 19:43:47 -0800 Scott Morrison Automated merge with https://tqft.net/hg/blob/
(0) -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 tip