Mon, 19 Jul 2010 08:42:24 -0700 | Scott Morrison | weaking thm:CH for iterated homotopy | changeset | files |
Mon, 19 Jul 2010 08:21:06 -0700 | Scott Morrison | minor fixes in smallblobs | changeset | files |
Mon, 19 Jul 2010 07:45:26 -0600 | Kevin Walker | starting on comparing_defs.tex | changeset | files |
Sun, 18 Jul 2010 18:26:05 -0600 | Kevin Walker | oops | changeset | files |
Sun, 18 Jul 2010 18:23:31 -0600 | Kevin Walker | done with deligne.tex (for now) | changeset | files |
Sun, 18 Jul 2010 11:07:47 -0600 | Kevin Walker | done with a-inf section for now | changeset | files |
Sun, 18 Jul 2010 08:07:50 -0600 | Kevin Walker | more a-inf section | changeset | files |
Sat, 17 Jul 2010 20:57:46 -0600 | Kevin Walker | Automated merge with https://tqft.net/hg/blob/ | changeset | files |