| Sun, 14 Nov 2010 17:28:04 -0800 | Scott Morrison | minor tweaks in sketch proofs | changeset | files |
| Sun, 14 Nov 2010 16:33:36 -0800 | Kevin Walker | Automated merge with https://tqft.net/hg/blob/ | changeset | files |
| Sun, 14 Nov 2010 16:33:18 -0800 | Kevin Walker | adding some proof sketches | changeset | files |
| Sun, 14 Nov 2010 16:14:43 -0800 | Kevin Walker | Automated merge with https://tqft.net/hg/blob/ | changeset | files |
| Sun, 14 Nov 2010 16:14:37 -0800 | Kevin Walker | minor | changeset | files |
| Sun, 14 Nov 2010 16:10:31 -0800 | Kevin Walker | minor | changeset | files |
| Sun, 14 Nov 2010 16:15:17 -0800 | Scott Morrison | hopefully preamble commands should all be okay again | changeset | files |
| Sun, 14 Nov 2010 16:13:12 -0800 | Scott Morrison | various minor, and moving mapping spaces to 'specializations' | changeset | files |
| Sun, 14 Nov 2010 16:02:06 -0800 | Scott Morrison | oops, unbreaking stuff | changeset | files |
| Sun, 14 Nov 2010 16:00:35 -0800 | Scott Morrison | Automated merge with https://tqft.net/hg/blob/ | changeset | files |
| Sun, 14 Nov 2010 15:45:26 -0800 | Scott Morrison | bordism example | changeset | files |
| Sun, 14 Nov 2010 15:39:03 -0800 | Scott Morrison | futzing with preambles | changeset | files |
| Sun, 14 Nov 2010 15:54:11 -0800 | Kevin Walker | misc | changeset | files |
| Sun, 14 Nov 2010 15:01:53 -0800 | Kevin Walker | proof for CH_* action | changeset | files |