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 signature;
authorwenzelm
Sun, 30 Jun 2024 11:13:31 +0200
changeset 80458 b66ece8770a9
parent 80457 b2c4ba0d048b
child 80459 00fcbb277dae
tuned signature;
src/Pure/PIDE/xml.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/xml.scala	Sat Jun 29 14:57:04 2024 +0200
+++ b/src/Pure/PIDE/xml.scala	Sun Jun 30 11:13:31 2024 +0200
@@ -343,7 +343,7 @@
     val properties: T[Properties.T] =
       (props => List(XML.Elem(Markup(":", props), Nil)))
 
-    val string: T[String] = (s => if (s.isEmpty) Nil else List(XML.Text(s)))
+    val string: T[String] = XML.string
 
     val long: T[Long] = (x => string(long_atom(x)))
isabelle