diff -r deb9b0283259 -r 998e01d6f8fd src/Pure/Tools/jedit.ML
--- a/src/Pure/Tools/jedit.ML	Tue Jan 09 15:18:41 2018 +0100
+++ b/src/Pure/Tools/jedit.ML	Tue Jan 09 15:40:12 2018 +0100
@@ -75,7 +75,7 @@
 
 val _ =
   Theory.setup
-    (Thy_Output.antiquotation \<^binding>\<open>action\<close> (Scan.lift (Parse.position Parse.embedded))
+    (Document_Antiquotation.setup \<^binding>\<open>action\<close> (Scan.lift (Parse.position Parse.embedded))
       (fn {context = ctxt, ...} => fn (name, pos) =>
        (if Context_Position.is_reported ctxt pos then ignore (check_action (name, pos)) else ();
         Thy_Output.verbatim_text ctxt name)));