# 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 ../../../  # go back to ~~/.

# immediately go to correcting code in Interpret/
./bin/isabelle jedit src/Tools/isac/ProgLang/ProgLang.thy &
