bin/isabelle_process
2014-04-22 ago tuned -- avoid warning about catch-all handler;
2014-04-06 ago renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups;