| 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 |
| Tue, 04 Oct 2016 14:20:26 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 04 Oct 2016 14:07:10 +0200 | wenzelm | more sanity checks; | changeset | files |
| Tue, 04 Oct 2016 13:56:02 +0200 | wenzelm | more options for generated settings; | changeset | files |