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 |
Tue, 08 Feb 2011 07:13:42 -0800 | Kevin Walker | clarify "splittable"; r -> l | file | diff | annotate |
Sun, 06 Feb 2011 20:53:43 -0800 | Kevin Walker | Edits from Aaron Mazel-Gee | file | diff | annotate |
Tue, 21 Sep 2010 17:28:14 -0700 | Scott Morrison | remaining changes from tuesday afternoon | file | diff | annotate |