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