diff -r dfee1c403242 -r 4549c6062b30 ztest-to-coding.sh
--- a/ztest-to-coding.sh	Fri Nov 17 05:49:54 2017 +0100
+++ b/ztest-to-coding.sh	Thu Jan 18 15:25:39 2018 +0100
@@ -1,8 +1,10 @@
 # switches isac from test-mode to coding-mode:
-# this closes signatures as much as possible for coding;
+# this closes signatures as much as possible for coding.
 
 cd src/Tools/isac
 find . -type f -exec sed -i s/'--- ! aktivate for Test_Isac BEGIN ---\\\*)'/'--- ! aktivate for Test_Isac BEGIN ---\\\* )'/g {} \;
 find . -type f -exec sed -i s/'(\*\\--- ! aktivate for Test_Isac END ---'/'( \*\\--- ! aktivate for Test_Isac END ---'/g {} \;
-cd ../../../
-./bin/isabelle jedit src/Tools/isac/Interpret/Interpret.thy &
\ No newline at end of file
+cd ../../../  # go back to ~~/.
+
+# immediately go to correcting code in Interpret/
+./bin/isabelle jedit src/Tools/isac/Interpret/Interpret.thy &