| Wed, 17 Sep 2008 23:23:49 +0200 | wenzelm | threads work only for Poly/ML 5.2 or later; | changeset | files |
| Wed, 17 Sep 2008 23:23:13 +0200 | wenzelm | * ML bindings produced via Isar commands are stored within the Isar context. | changeset | files |
| Wed, 17 Sep 2008 23:08:06 +0200 | wenzelm | added ML_prf; | changeset | files |
| Wed, 17 Sep 2008 23:04:27 +0200 | wenzelm | updated generated file; | changeset | files |
| Wed, 17 Sep 2008 22:06:59 +0200 | wenzelm | added inherit_env; | changeset | files |
| Wed, 17 Sep 2008 22:06:57 +0200 | wenzelm | added map_contexts; | changeset | files |