1.1 --- a/xtest-to-coding.sh	Wed Jan 18 15:07:16 2017 +0100
     1.2 +++ b/xtest-to-coding.sh	Thu Jan 19 10:35:39 2017 +0100
     1.3 @@ -5,4 +5,4 @@
     1.4  find . -type f -exec sed -i s/'--- ! aktivate for Test_Isac BEGIN ---\\\*)'/'--- ! aktivate for Test_Isac BEGIN ---\\\* )'/g {} \;
     1.5  find . -type f -exec sed -i s/'(\*\\--- ! aktivate for Test_Isac END ---'/'( \*\\--- ! aktivate for Test_Isac END ---'/g {} \;
     1.6  cd ../../../
     1.7 -./bin/isabelle jedit src/Tools/isac/Build_Isac.thy &
     1.8 \ No newline at end of file
     1.9 +./bin/isabelle jedit src/Tools/isac/Interpret/Interpret.thy &
    1.10 \ No newline at end of file