| Sun, 14 Nov 2010 16:33:18 -0800 | Kevin Walker | adding some proof sketches | file | diff | annotate |
| Sun, 14 Nov 2010 16:14:43 -0800 | Kevin Walker | Automated merge with https://tqft.net/hg/blob/ | file | diff | annotate |
| Sun, 14 Nov 2010 16:14:37 -0800 | Kevin Walker | minor | file | diff | annotate |
| Sun, 14 Nov 2010 16:10:31 -0800 | Kevin Walker | minor | file | diff | annotate |
| Sun, 14 Nov 2010 16:13:12 -0800 | Scott Morrison | various minor, and moving mapping spaces to 'specializations' | file | diff | annotate |
| Sun, 14 Nov 2010 16:02:06 -0800 | Scott Morrison | oops, unbreaking stuff | file | diff | annotate |
| Sun, 14 Nov 2010 16:00:35 -0800 | Scott Morrison | Automated merge with https://tqft.net/hg/blob/ | file | diff | annotate |
| Sun, 14 Nov 2010 15:45:26 -0800 | Scott Morrison | bordism example | file | diff | annotate |
| Sun, 14 Nov 2010 15:39:03 -0800 | Scott Morrison | futzing with preambles | file | diff | annotate |
| Sun, 14 Nov 2010 15:54:11 -0800 | Kevin Walker | misc | file | diff | annotate |
| Sun, 14 Nov 2010 15:01:53 -0800 | Kevin Walker | proof for CH_* action | file | diff | annotate |
| Sat, 13 Nov 2010 20:58:40 -0800 | Scott Morrison | minor, during call | file | diff | annotate |
| Sat, 13 Nov 2010 20:58:23 -0800 | Scott Morrison | minor, during call | file | diff | annotate |
| Sat, 13 Nov 2010 13:26:29 -0800 | Kevin Walker | minor | file | diff | annotate |
| Sat, 13 Nov 2010 13:23:22 -0800 | Kevin Walker | intro to more concrete \bc_* definition and misc | file | diff | annotate |
| Sat, 13 Nov 2010 12:14:55 -0800 | Kevin Walker | definition of collar maps | file | diff | annotate |
| Fri, 12 Nov 2010 15:07:00 -0800 | Scott Morrison | changing title | file | diff | annotate |
| Fri, 12 Nov 2010 14:34:16 -0800 | Scott Morrison | writing intro; just an expanded version of the existing notes, feel free to savage | file | diff | annotate |
| Fri, 12 Nov 2010 10:49:09 -0800 | Scott Morrison | minor changes to cone-product polyhedra discussion | file | diff | annotate |
| Thu, 11 Nov 2010 20:45:33 -0800 | Kevin Walker | Examples and misc.; quality of writing perhaps not so great. | file | diff | annotate |
| Thu, 11 Nov 2010 17:50:28 -0800 | Scott Morrison | various | file | diff | annotate |
| Thu, 11 Nov 2010 15:48:47 -0800 | Scott Morrison | writing inconclusively about homotopy colimits, but have to run | file | diff | annotate |
| Tue, 09 Nov 2010 17:48:16 -0800 | Kevin Walker | fixing typo | file | diff | annotate |
| Tue, 09 Nov 2010 14:22:02 +0900 | Scott Morrison | making pinched products axioms terser, and writing a short proof of the higher deligne conjecture | file | diff | annotate |
| Tue, 09 Nov 2010 14:03:58 +0900 | Scott Morrison | adding some figures for the axioms | file | diff | annotate |
| Thu, 04 Nov 2010 17:02:06 +0900 | Scott Morrison | Automated merge with https://tqft.net/hg/blob/ | file | diff | annotate |
| Thu, 04 Nov 2010 17:01:56 +0900 | Scott Morrison | merging changes | file | diff | annotate |
| Fri, 29 Oct 2010 11:42:35 +0900 | Scott Morrison | a few changes, maybe bad ones... | file | diff | annotate |
| Tue, 02 Nov 2010 06:38:40 -0700 | Kevin Walker | enrichment; decompositions (meta) | file | diff | annotate |
| Tue, 02 Nov 2010 06:18:43 -0700 | Kevin Walker | restore and complete the fragment | file | diff | annotate |