Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/document_antiquotation.ML
changeset 80910 406a85a25189
parent 80862 ab0234b9af65
child 82587 7415414bd9d8 
--- a/src/Pure/Thy/document_antiquotation.ML	Fri Sep 20 13:30:55 2024 +0200
+++ b/src/Pure/Thy/document_antiquotation.ML	Fri Sep 20 14:28:13 2024 +0200
@@ -61,7 +61,7 @@
 
 fun trim_lines ctxt =
   if not (Config.get ctxt thy_output_display) then
-    split_lines #> map Symbol.trim_blanks #> space_implode " "
+    split_lines #> map Symbol.trim_blanks #> implode_space
   else I;
 
 fun indent_lines ctxt =
isabelle