Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
special_end: replaced Z by dot;
authorwenzelm
Fri, 07 Dec 2007 17:40:06 +0100
changeset 25576 ee11881606b7
parent 25575 fee953b45015
child 25577 d739f48ef40c
special_end: replaced Z by dot;
src/Pure/Tools/isabelle_process.ML file | annotate | diff | comparison | revisions 
--- 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);
isabelle