| Tue, 04 Oct 2016 14:53:06 +0200 | wenzelm | clarified heap options; | changeset | files |
| Tue, 04 Oct 2016 14:39:31 +0200 | wenzelm | proper ISABELLE_TOOL_JAVA_OPTIONS (as in "isabelle" wrapper); | changeset | files |
| Tue, 04 Oct 2016 14:32:44 +0200 | wenzelm | more ambitious default as in former isatest; | changeset | files |
| Tue, 04 Oct 2016 14:26:05 +0200 | wenzelm | tuned signature; | changeset | files |