diff -r 3e241a6938ce -r 3bd4be5666de ztest-to-coding.sh
--- a/ztest-to-coding.sh	Fri Mar 23 10:14:39 2018 +0100
+++ b/ztest-to-coding.sh	Sat Mar 24 14:34:47 2018 +0100
@@ -7,4 +7,5 @@
 cd ../../../  # go back to ~~/.
 
 # immediately go to correcting code in Interpret/
-./bin/isabelle jedit src/Tools/isac/ProgLang/ProgLang.thy &
+#./bin/isabelle jedit src/Tools/isac/ProgLang/ProgLang.thy &
+./bin/isabelle jedit src/Tools/isac/Isac_Protocol.thy &