2014-07-20 | wenzelm | provide explicit options file -- avoid multiple Scala/JVM invocation; | file | diff | annotate |
2014-04-22 | wenzelm | tuned -- avoid warning about catch-all handler; | file | diff | annotate |
2014-04-06 | wenzelm | renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups; | file | diff | annotate | base |