step 5.5: for devel. make test-example independent from session Isac
note: see "HACKthy"
1 # switches isac from coding-mode to test-mode:
2 # this makes additional functions in signatures visible for tests.
5 find . -type f -exec sed -i s/'--- ! aktivate for Test_Isac BEGIN ---\\\* )'/'--- ! aktivate for Test_Isac BEGIN ---\\\*)'/g {} \;
6 find . -type f -exec sed -i s/'( \*\\--- ! aktivate for Test_Isac END ---'/'(\*\\--- ! aktivate for Test_Isac END ---'/g {} \;
7 cd ../../../ # go back to ~~/.
9 # immediately go to testing
10 #./bin/isabelle jedit -l Isac test/Tools/isac/Test_Some.thy &
11 #./bin/isabelle jedit -l Isac test/Tools/isac/Test_Isac.thy &
12 ./bin/isabelle jedit -l Isac test/Tools/isac/Test_Isac_Short.thy &