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/jedit.ML
changeset 69592 a80d8ec6c998
parent 69349 7cef9e386ffe
child 71513 a403942212f2 
--- a/src/Pure/Tools/jedit.ML	Thu Jan 03 22:30:41 2019 +0100
+++ b/src/Pure/Tools/jedit.ML	Fri Jan 04 21:49:06 2019 +0100
@@ -74,7 +74,7 @@
 
 val _ =
   Theory.setup
-    (Thy_Output.antiquotation_verbatim \<^binding>\<open>action\<close> (Scan.lift Args.embedded_position)
+    (Thy_Output.antiquotation_verbatim_embedded \<^binding>\<open>action\<close> (Scan.lift Args.embedded_position)
       (fn ctxt => fn (name, pos) =>
         let
           val _ =
isabelle