Sun, 19 Sep 2010 23:15:21 -0700 | Kevin Walker | Automated merge with https://tqft.net/hg/blob/ | changeset | files |
Sun, 19 Sep 2010 23:14:41 -0700 | Kevin Walker | preparing for new def of morphisms of a-ing 1-cat modules | changeset | files |
Sun, 19 Sep 2010 23:11:59 -0500 | Scott Morrison | hopefully getting signs right in Lemma 6.3 | changeset | files |
Sun, 19 Sep 2010 23:01:49 -0500 | Scott Morrison | fixing some subscripts associated to homotopies | changeset | files |
Sun, 19 Sep 2010 22:57:10 -0500 | Scott Morrison | various changes to \S 6.1 | changeset | files |
Sun, 19 Sep 2010 22:29:29 -0500 | Scott Morrison | minor | changeset | files |
Wed, 15 Sep 2010 13:33:47 -0500 | Scott Morrison | Automated merge with https://tqft.net/hg/blob/ | changeset | files |