| 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 |
| Sat, 05 Jun 2010 19:26:59 -0700 | Kevin Walker | A-inf bordism cat example | file | diff | annotate |
| Sat, 05 Jun 2010 13:38:57 -0700 | Kevin Walker | finished E_n example (at SFO) | file | diff | annotate |
| Sat, 05 Jun 2010 08:25:14 -0700 | Kevin Walker | EB_n operad example; other misc stuff | file | diff | annotate |
| Fri, 04 Jun 2010 20:37:38 -0700 | Kevin Walker | finished product axiom | file | diff | annotate |