Thu, 24 Jun 2010 14:21:51 -0400 | Scott Morrison | edits to sphere-modules stuff: some todos added | file | diff | annotate |
Wed, 23 Jun 2010 22:43:26 -0700 | Kevin Walker | figures for n+1-cat | file | diff | annotate |
Wed, 23 Jun 2010 18:37:25 -0700 | Kevin Walker | finished def of sphere module n+1-cat | file | diff | annotate |
Wed, 23 Jun 2010 09:41:03 -0700 | Kevin Walker | define compatible familty of non-degenerate IPs | file | diff | annotate |