Thu, 27 May 2010 17:35:56 -0700 | Kevin Walker | small preliminary changes to Deligne section | changeset | files |
Thu, 27 May 2010 15:06:48 -0700 | Scott Morrison | many small changes to famodiff, mostly prose | changeset | files |
Thu, 27 May 2010 14:15:19 -0700 | Scott Morrison | removing 'explicit' families of diffeos partial proof | changeset | files |