bin/isabelle_process
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;