| Tue, 04 Oct 2016 14:39:31 +0200 | wenzelm | proper ISABELLE_TOOL_JAVA_OPTIONS (as in "isabelle" wrapper); | file | diff | annotate |
| Mon, 03 Oct 2016 17:23:33 +0200 | wenzelm | clarified cold-start environment; | file | diff | annotate |
| Sun, 02 Oct 2016 17:05:48 +0200 | wenzelm | added isabelle_java cold-start executable; | file | diff | annotate |