Mon, 22 Nov 2010 11:56:18 -0700 | Kevin Walker | 2nd installment of changes from proof-read | changeset | files |
Mon, 22 Nov 2010 09:46:07 -0700 | Kevin Walker | changes from proof-read, 1st installment | changeset | files |
Mon, 22 Nov 2010 09:02:17 -0700 | Kevin Walker | fixing single quotes and long lines | changeset | files |
Sun, 21 Nov 2010 15:24:53 -0800 | Scott Morrison | some more fixes in the colimit section | changeset | files |
Sun, 21 Nov 2010 15:09:24 -0800 | Scott Morrison | trying out 'isotopy n-category', and explaining the difference better | changeset | files |
Sun, 21 Nov 2010 14:47:58 -0800 | Scott Morrison | Automated merge with https://tqft.net/hg/blob/ | changeset | files |
Sun, 21 Nov 2010 14:47:54 -0800 | Scott Morrison | minor | changeset | files |