HomeIsabelle/Phabricator

avoid side effects on working copy while runnign sessions (generated code is…