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.
tuned according to Scala version;
authorwenzelm
Thu, 14 Feb 2019 15:45:34 +0100
changeset 69806 2156053c4ce9
parent 69805 a8debe27c36c
child 69807 3389fda6cffd
tuned according to Scala version;
src/Pure/PIDE/xml.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/xml.ML	Thu Feb 14 15:44:02 2019 +0100
+++ b/src/Pure/PIDE/xml.ML	Thu Feb 14 15:45:34 2019 +0100
@@ -122,7 +122,7 @@
 
 (** string representation **)
 
-val header = "<?xml version=\"1.0\" encoding=\"utf-8\" ?>\n";
+val header = "<?xml version=\"1.0\" encoding=\"utf-8\"?>\n";
 
 
 (* escaped text *)
isabelle