Wed, 16 Jun 2010 15:29:19 -0700 | Scott Morrison | tikzing feb21 diagrams | file | diff | annotate |
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 |