1.1 --- a/ztest-to-coding.sh	Wed Apr 04 12:41:03 2018 +0200
     1.2 +++ b/ztest-to-coding.sh	Wed Apr 11 14:44:46 2018 +0200
     1.3 @@ -7,5 +7,5 @@
     1.4  cd ../../../  # go back to ~~/.
     1.5  
     1.6  # immediately go to correcting code in Interpret/
     1.7 -#./bin/isabelle jedit src/Tools/isac/ProgLang/ProgLang.thy &
     1.8 -./bin/isabelle jedit src/Tools/isac/Isac_Protocol.thy &
     1.9 +./bin/isabelle jedit src/Tools/isac/Knowledge/Biegelinie.thy &
    1.10 +#./bin/isabelle jedit src/Tools/isac/Isac_Protocol.thy &