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 |
Mon, 29 Sep 2008 21:26:46 +0200 | wenzelm | added str_of; | changeset | files |
Mon, 29 Sep 2008 21:26:44 +0200 | wenzelm | install_pp Future.T (polyml only); | changeset | files |
Mon, 29 Sep 2008 21:26:41 +0200 | wenzelm | report_token/parse_token: back to context-less version; | changeset | files |
Mon, 29 Sep 2008 21:26:39 +0200 | wenzelm | back to plain Position.report for regular references; | changeset | files |
Mon, 29 Sep 2008 21:26:36 +0200 | wenzelm | back to plain Position.report for regular references; | changeset | files |