| Tue, 04 Oct 2016 20:20:21 +0200 | wenzelm | historic workaround according to 22630327408b; | changeset | files |
| Tue, 04 Oct 2016 19:43:18 +0200 | wenzelm | more thorought update of components; | changeset | files |
| Tue, 04 Oct 2016 19:38:43 +0200 | wenzelm | check session name; | changeset | files |
| Tue, 04 Oct 2016 19:26:19 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 04 Oct 2016 18:26:26 +0200 | wenzelm | tuned error; | changeset | files |
| Tue, 04 Oct 2016 18:09:23 +0200 | wenzelm | earlier build_history_base: timing properties in log are introduced here; | changeset | files |
| Tue, 04 Oct 2016 15:42:08 +0200 | wenzelm | incremental output; | changeset | files |
| Tue, 04 Oct 2016 15:03:26 +0200 | wenzelm | clarified output; | changeset | files |
| 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 |