1.1 --- a/xtest-to-coding.sh Mon Feb 06 09:06:35 2017 +0100
1.2 +++ b/xtest-to-coding.sh Tue Feb 07 08:57:42 2017 +0100
1.3 @@ -4,5 +4,4 @@
1.4 cd src/Tools/isac
1.5 find . -type f -exec sed -i s/'--- ! aktivate for Test_Isac BEGIN ---\\\*)'/'--- ! aktivate for Test_Isac BEGIN ---\\\* )'/g {} \;
1.6 find . -type f -exec sed -i s/'(\*\\--- ! aktivate for Test_Isac END ---'/'( \*\\--- ! aktivate for Test_Isac END ---'/g {} \;
1.7 -cd ../../../
1.8 -./bin/isabelle jedit src/Tools/isac/Interpret/Interpret.thy &
1.9 \ No newline at end of file
1.10 +cd ../../../
1.11 \ No newline at end of file