| Sat, 05 Dec 2015 16:09:41 +0100 | switched from Isabelle2014 to Isabelle2015, intermediate state | file | diff | annotate |
| Sun, 20 Jul 2014 17:54:01 +0200 | provide explicit options file -- avoid multiple Scala/JVM invocation; | file | diff | annotate |
| Tue, 22 Apr 2014 11:53:05 +0200 | tuned -- avoid warning about catch-all handler; | file | diff | annotate |
| Sun, 06 Apr 2014 16:59:41 +0200 | renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups; | file | diff | annotate | base |