Wed, 17 Sep 2008 23:44:31 +0200 | wenzelm | use_text/use_file now depend on explicit ML name space; | changeset | files |
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 |