| Wed, 17 Sep 2008 22:06:57 +0200 | wenzelm | added map_contexts; | changeset | files |
| Wed, 17 Sep 2008 22:06:54 +0200 | wenzelm | ML_prf: inherit env for all contexts within the proof; | changeset | files |
| Wed, 17 Sep 2008 22:06:52 +0200 | wenzelm | shutdown only if Multithreading.available; | changeset | files |