wneuper@59316: # switches isac from coding-mode to test-mode:
wneuper@59316: # this makes additional functions in signatures visible for tests.
wneuper@59316: 
wneuper@59316: cd src/Tools/isac
wneuper@59316: find . -type f -exec sed -i s/'--- ! aktivate for Test_Isac BEGIN ---\\\* )'/'--- ! aktivate for Test_Isac BEGIN ---\\\*)'/g {} \;
wneuper@59316: find . -type f -exec sed -i s/'( \*\\--- ! aktivate for Test_Isac END ---'/'(\*\\--- ! aktivate for Test_Isac END ---'/g {} \;
wneuper@59320: cd ../../../  # go back to ~~/.
wneuper@59320: 
wneuper@59320: # immediately go to testing
wneuper@59499: #./bin/isabelle jedit -l Isac test/Tools/isac/Test_Some.thy &
wneuper@59553: #./bin/isabelle jedit -l Isac test/Tools/isac/Test_Isac.thy &
wneuper@59553: ./bin/isabelle jedit -l Isac test/Tools/isac/Test_Isac_Short.thy &