1.1 --- a/ztest-to-coding.sh	Fri Aug 24 14:23:13 2018 +0200
     1.2 +++ b/ztest-to-coding.sh	Mon Aug 27 15:57:45 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/Knowledge/Biegelinie.thy &
     1.8 +./bin/isabelle jedit src/Tools/isac/Build_Isac.thy &
     1.9  #./bin/isabelle jedit src/Tools/isac/Isac_Protocol.thy &