1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/ztest-to-coding.sh	Tue Feb 07 08:57:42 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/Interpret/Interpret.thy &
    1.12 \ No newline at end of file