# switches isac from test-mode to coding-mode:

 # this closes signatures as much as possible for coding;

 cd src/Tools/isac

 find . -type f -exec sed -i s/'--- ! aktivate for Test_Isac BEGIN ---\\\*)'/'--- ! aktivate for Test_Isac BEGIN ---\\\* )'/g {} \;

 find . -type f -exec sed -i s/'(\*\\--- ! aktivate for Test_Isac END ---'/'( \*\\--- ! aktivate for Test_Isac END ---'/g {} \;

 cd ../../../

 ./bin/isabelle jedit src/Tools/isac/Interpret/Interpret.thy &