Sat, 14 May 2011 11:42:48 -0700 more on colimits; still not done
Kevin Walker <kevin@canyon23.net> [Sat, 14 May 2011 11:42:48 -0700] rev 784
more on colimits; still not done
Fri, 13 May 2011 21:16:40 -0700 minor
Kevin Walker <kevin@canyon23.net> [Fri, 13 May 2011 21:16:40 -0700] rev 783
minor
Fri, 13 May 2011 21:01:03 -0700 merging by hand (?)
Kevin Walker <kevin@canyon23.net> [Fri, 13 May 2011 21:01:03 -0700] rev 782
merging by hand (?)
Fri, 13 May 2011 20:52:18 -0700 rewriting colimit def; there's still a little more to do
Kevin Walker <kevin@canyon23.net> [Fri, 13 May 2011 20:52:18 -0700] rev 781
rewriting colimit def; there's still a little more to do
Thu, 12 May 2011 21:42:34 -0700 starting to work on colimit stuff, but not much progress yet
Kevin Walker <kevin@canyon23.net> [Thu, 12 May 2011 21:42:34 -0700] rev 780
starting to work on colimit stuff, but not much progress yet
Wed, 11 May 2011 14:39:21 -0700 minor
Kevin Walker <kevin@canyon23.net> [Wed, 11 May 2011 14:39:21 -0700] rev 779
minor
(0) -300 -100 -30 -10 -6 +6 +10 +30 +100 tip