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