Fri, 13 May 2011 21:01:03 -0700 Kevin Walker merging by hand (?)
Fri, 13 May 2011 20:52:18 -0700 Kevin Walker rewriting colimit def; there's still a little more to do
Thu, 12 May 2011 21:42:34 -0700 Kevin Walker starting to work on colimit stuff, but not much progress yet
Wed, 11 May 2011 14:39:21 -0700 Kevin Walker minor
(0) -300 -100 -30 -10 -4 +4 +10 +30 +100 tip