src/Pure/Tools/isabelle_process.ML
changeset 25576 ee11881606b7
parent 25565 33d30a53fae7
child 25631 9036ccd685b4
--- a/src/Pure/Tools/isabelle_process.ML	Fri Dec 07 17:40:05 2007 +0100
+++ b/src/Pure/Tools/isabelle_process.ML	Fri Dec 07 17:40:06 2007 +0100
@@ -31,7 +31,7 @@
 local
 
 fun special c = chr 2 ^ c;
-val special_end = special "Z";
+val special_end = special ".";
 
 fun output c m s =
   Output.writeln_default (special c ^ Markup.enclose m s ^ special_end);