HomeIsabelle/Phabricator

Change DEBUGGER signature in ROOT file for interpreted version