| Wed, 16 Jun 2010 14:39:25 -0700 | Scott Morrison | tikzing left-marked-antirefinements | file | diff | annotate |
| Wed, 16 Jun 2010 14:33:01 -0700 | Scott Morrison | moving an already prepared diagram out of tempkw | file | diff | annotate |
| Wed, 16 Jun 2010 14:30:55 -0700 | Scott Morrison | converting some hand drawn pictures to tikz | file | diff | annotate |
| Sun, 13 Jun 2010 14:26:31 +0200 | Kevin Walker | metric independence for homeo action (proof done now) | file | diff | annotate |
| Mon, 07 Jun 2010 18:14:11 +0200 | Kevin Walker | remark about EB_n-algebras from n-cats | file | diff | annotate |
| Sun, 06 Jun 2010 20:56:47 +0200 | Kevin Walker | added pinched product figs | file | diff | annotate |