HomeIsabelle/Phabricator

clarified signature: Isabelle_System.bash_process is strict and thus cannot…