src/Pure/PIDE/resources.ML
changeset 67386 998e01d6f8fd
parent 67219 81e9804b2014
child 67464 a5ca98950a91
     1.1 --- a/src/Pure/PIDE/resources.ML	Tue Jan 09 15:18:41 2018 +0100
     1.2 +++ b/src/Pure/PIDE/resources.ML	Tue Jan 09 15:40:12 2018 +0100
     1.3 @@ -257,13 +257,13 @@
     1.4  in
     1.5  
     1.6  val _ = Theory.setup
     1.7 - (Thy_Output.antiquotation \<^binding>\<open>session\<close> (Scan.lift (Parse.position Parse.embedded))
     1.8 + (Document_Antiquotation.setup \<^binding>\<open>session\<close> (Scan.lift (Parse.position Parse.embedded))
     1.9      (fn {context = ctxt, ...} => Thy_Output.verbatim_text ctxt o check_session ctxt) #>
    1.10 -  Thy_Output.antiquotation \<^binding>\<open>path\<close> (Scan.lift (Parse.position Parse.path))
    1.11 +  Document_Antiquotation.setup \<^binding>\<open>path\<close> (Scan.lift (Parse.position Parse.path))
    1.12      (document_antiq check_path o #context) #>
    1.13 -  Thy_Output.antiquotation \<^binding>\<open>file\<close> (Scan.lift (Parse.position Parse.path))
    1.14 +  Document_Antiquotation.setup \<^binding>\<open>file\<close> (Scan.lift (Parse.position Parse.path))
    1.15      (document_antiq check_file o #context) #>
    1.16 -  Thy_Output.antiquotation \<^binding>\<open>dir\<close> (Scan.lift (Parse.position Parse.path))
    1.17 +  Document_Antiquotation.setup \<^binding>\<open>dir\<close> (Scan.lift (Parse.position Parse.path))
    1.18      (document_antiq check_dir o #context) #>
    1.19    ML_Antiquotation.value \<^binding>\<open>path\<close>
    1.20      (Args.context -- Scan.lift (Parse.position Parse.path) >> uncurry (ML_antiq check_path)) #>