Mon, 14 Jun 2010 22:12:45 -0700 | Scott Morrison | Automated merge with https://tqft.net/hg/blob/ | changeset | files |
Mon, 07 Jun 2010 22:02:40 -0700 | Scott Morrison | Automated merge with https://tqft.net/hg/blob/ | changeset | files |
Mon, 07 Jun 2010 22:02:34 -0700 | Scott Morrison | moving old diagrams around | changeset | files |
Mon, 14 Jun 2010 07:46:41 +0200 | Kevin Walker | interim version to put on web page | changeset | files |
Sun, 13 Jun 2010 14:26:31 +0200 | Kevin Walker | metric independence for homeo action (proof done now) | changeset | files |
Thu, 10 Jun 2010 22:00:06 +0200 | Kevin Walker | CH_* action -- gluing compatibility | changeset | files |
Wed, 09 Jun 2010 13:21:55 +0200 | Kevin Walker | associativity for CH_* action | changeset | files |
Mon, 07 Jun 2010 18:14:11 +0200 | Kevin Walker | remark about EB_n-algebras from n-cats | changeset | files |