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/Tools/rail.ML
changeset 73780 466fae6bf22e
parent 73761 ef1a18e20ace
child 74781 ffd640825505 
--- a/src/Pure/Tools/rail.ML	Tue May 25 21:44:01 2021 +0200
+++ b/src/Pure/Tools/rail.ML	Tue May 25 22:28:39 2021 +0200
@@ -341,7 +341,7 @@
   let
     val output_antiq =
       Antiquote.Antiq #>
-      Document_Antiquotation.evaluate (single o Latex.symbols) ctxt #>
+      Document_Antiquotation.evaluate Latex.symbols ctxt #>
       Latex.output_text;
     fun output_text b s =
       Output.output s
isabelle