Thu, 12 May 2011 21:42:34 -0700 | Kevin Walker | starting to work on colimit stuff, but not much progress yet | file | diff | annotate |
Tue, 08 Feb 2011 07:27:53 -0800 | Kevin Walker | re-added a remark that was accidentally deleted earlier | file | diff | annotate |
Tue, 08 Feb 2011 07:19:38 -0800 | Kevin Walker | typo | file | diff | annotate |