| author | Walther Neuper <wneuper@ist.tugraz.at> |
| Tue, 07 Feb 2017 08:57:42 +0100 | |
| changeset 59316 | 3a60188d9cc3 |
| child 59320 | 4549c6062b30 |
| permissions | -rwxr-xr-x |
1 # switches isac from test-mode to coding-mode:
2 # this closes signatures as much as possible for coding;
4 cd src/Tools/isac
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 ../../../
8 ./bin/isabelle jedit src/Tools/isac/Interpret/Interpret.thy &