HomeIsabelle/Phabricator

more robust adhoc shell script: work with Isabelle_System.