Fri, 13 May 2011 21:01:03 -0700 | Kevin Walker | merging by hand (?) | file | diff | annotate |
Fri, 13 May 2011 20:52:18 -0700 | Kevin Walker | rewriting colimit def; there's still a little more to do | file | diff | annotate |
Thu, 12 May 2011 21:42:34 -0700 | Kevin Walker | starting to work on colimit stuff, but not much progress yet | file | diff | annotate |