Tue, 30 Sep 2008 04:06:55 +0200 | kleing | slightly different command line for makedist_mercurial | changeset | files |
Mon, 29 Sep 2008 21:45:44 +0200 | wenzelm | put_thms: ContextPosition.set_visible false; | changeset | files |
Mon, 29 Sep 2008 21:26:49 +0200 | wenzelm | added type pp, which helps installing polymorphic pretty printers; | changeset | files |