# 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 &
