| author | Walther Neuper <wneuper@ist.tugraz.at> |
| Fri, 17 Nov 2017 05:49:54 +0100 | |
| changeset 59319 | dfee1c403242 |
| parent 59316 | 3a60188d9cc3 |
| child 59320 | 4549c6062b30 |
| permissions | -rwxr-xr-x |
| wneuper@59316 | 1 |
# switches isac from test-mode to coding-mode: |
| wneuper@59316 | 2 |
# this closes signatures as much as possible for coding; |
| wneuper@59316 | 3 |
|
| wneuper@59316 | 4 |
cd src/Tools/isac |
| wneuper@59316 | 5 |
find . -type f -exec sed -i s/'--- ! aktivate for Test_Isac BEGIN ---\\\*)'/'--- ! aktivate for Test_Isac BEGIN ---\\\* )'/g {} \;
|
| wneuper@59316 | 6 |
find . -type f -exec sed -i s/'(\*\\--- ! aktivate for Test_Isac END ---'/'( \*\\--- ! aktivate for Test_Isac END ---'/g {} \;
|
| wneuper@59316 | 7 |
cd ../../../ |
| wneuper@59316 | 8 |
./bin/isabelle jedit src/Tools/isac/Interpret/Interpret.thy & |