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 |