1.1 --- a/ztest-to-coding.sh	Fri Mar 23 10:14:39 2018 +0100
     1.2 +++ b/ztest-to-coding.sh	Sat Mar 24 14:34:47 2018 +0100
     1.3 @@ -7,4 +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/ProgLang/ProgLang.thy &
     1.9 +./bin/isabelle jedit src/Tools/isac/Isac_Protocol.thy &