| Mon, 19 Jul 2010 08:42:24 -0700 | Scott Morrison | weaking thm:CH for iterated homotopy | file | diff | annotate |
| Sun, 18 Jul 2010 08:07:50 -0600 | Kevin Walker | more a-inf section | file | diff | annotate |
| Wed, 14 Jul 2010 11:06:20 -0600 | Scott Morrison | Automated merge with https://tqft.net/hg/blob/ | file | diff | annotate |
| Wed, 14 Jul 2010 11:06:11 -0600 | Scott Morrison | revisions to \S 1-5 | file | diff | annotate |