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

 # this makes additional functions in signatures visible for tests.

 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 testing

 #./bin/isabelle jedit -l Isac test/Tools/isac/Test_Some.thy &

 #./bin/isabelle jedit -l Isac test/Tools/isac/Test_Isac.thy &

 ./bin/isabelle jedit -l Isac test/Tools/isac/Test_Isac_Short.thy &