bin/isabelle_process
2014-07-20 wenzelm provide explicit options file -- avoid multiple Scala/JVM invocation;
2014-04-22 wenzelm tuned -- avoid warning about catch-all handler;
2014-04-06 wenzelm renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups;
less more (0) tip