| Mon, 29 Feb 2016 21:32:53 +0100 | wenzelm | simplified -- always produce heap for RAW, Pure; | changeset | files |
| Mon, 29 Feb 2016 20:43:16 +0100 | wenzelm | merged | changeset | files |
| Mon, 29 Feb 2016 20:35:06 +0100 | wenzelm | isabelle_process executable no longer supports writable heap images; | changeset | files |
| Mon, 29 Feb 2016 16:38:06 +0100 | wenzelm | more careful cleanup; | changeset | files |
| Mon, 29 Feb 2016 16:31:50 +0100 | wenzelm | obsolete; | changeset | files |
| Mon, 29 Feb 2016 16:29:52 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 29 Feb 2016 16:25:51 +0100 | wenzelm | redundant -- already part of Session.finish; | changeset | files |