| Wed, 25 May 2011 09:48:01 -0600 | Kevin Walker | left over comment from last week | changeset | files |
| Sat, 14 May 2011 11:42:48 -0700 | Kevin Walker | more on colimits; still not done | changeset | files |
| Fri, 13 May 2011 21:16:40 -0700 | Kevin Walker | minor | changeset | files |
| Fri, 13 May 2011 21:01:03 -0700 | Kevin Walker | merging by hand (?) | changeset | files |
| Fri, 13 May 2011 20:52:18 -0700 | Kevin Walker | rewriting colimit def; there's still a little more to do | changeset | files |
| Thu, 12 May 2011 21:42:34 -0700 | Kevin Walker | starting to work on colimit stuff, but not much progress yet | changeset | files |
| Wed, 11 May 2011 14:39:21 -0700 | Kevin Walker | minor | changeset | files |