wneuper@59316: # switches isac from test-mode to coding-mode:
wneuper@59320: # this closes signatures as much as possible for coding.
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 correcting code in Interpret/
wneuper@59429: ./bin/isabelle jedit src/Tools/isac/Knowledge/Biegelinie.thy &
wneuper@59429: #./bin/isabelle jedit src/Tools/isac/Isac_Protocol.thy &