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