1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/xtest-to-coding.sh Wed Jan 18 15:07:16 2017 +0100
1.3 @@ -0,0 +1,8 @@
1.4 +# switches isac from test-mode to coding-mode:
1.5 +# this closes signatures as much as possible for coding.
1.6 +
1.7 +cd src/Tools/isac
1.8 +find . -type f -exec sed -i s/'--- ! aktivate for Test_Isac BEGIN ---\\\*)'/'--- ! aktivate for Test_Isac BEGIN ---\\\* )'/g {} \;
1.9 +find . -type f -exec sed -i s/'(\*\\--- ! aktivate for Test_Isac END ---'/'( \*\\--- ! aktivate for Test_Isac END ---'/g {} \;
1.10 +cd ../../../
1.11 +./bin/isabelle jedit src/Tools/isac/Build_Isac.thy &
1.12 \ No newline at end of file