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 |
Wed, 11 May 2011 14:32:13 -0700 | Kevin Walker | add remarks to address the bizarre and inexplicable confusion about "hemisphere" | changeset | files |