equal
deleted
inserted
replaced
|
1 # switches isac from coding-mode to test-mode: |
|
2 # this makes additional functions in signatures visible for tests. |
|
3 |
|
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 -l Isac test/Tools/isac/Test_Isac.thy & |