--- a/src/Pure/PIDE/resources.ML Thu Jan 03 22:30:41 2019 +0100
+++ b/src/Pure/PIDE/resources.ML Fri Jan 04 21:49:06 2019 +0100
@@ -277,16 +277,16 @@
in
val _ = Theory.setup
- (Thy_Output.antiquotation_verbatim \<^binding>\<open>session\<close>
+ (Thy_Output.antiquotation_verbatim_embedded \<^binding>\<open>session\<close>
(Scan.lift Parse.embedded_position) check_session #>
- Thy_Output.antiquotation_verbatim \<^binding>\<open>doc\<close>
+ Thy_Output.antiquotation_verbatim_embedded \<^binding>\<open>doc\<close>
(Scan.lift Parse.embedded_position) check_doc #>
- Thy_Output.antiquotation_raw \<^binding>\<open>path\<close> (document_antiq check_path) (K I) #>
- Thy_Output.antiquotation_raw \<^binding>\<open>file\<close> (document_antiq check_file) (K I) #>
- Thy_Output.antiquotation_raw \<^binding>\<open>dir\<close> (document_antiq check_dir) (K I) #>
- ML_Antiquotation.value \<^binding>\<open>path\<close> (ML_antiq check_path) #>
- ML_Antiquotation.value \<^binding>\<open>file\<close> (ML_antiq check_file) #>
- ML_Antiquotation.value \<^binding>\<open>dir\<close> (ML_antiq check_dir) #>
+ Thy_Output.antiquotation_raw_embedded \<^binding>\<open>path\<close> (document_antiq check_path) (K I) #>
+ Thy_Output.antiquotation_raw_embedded \<^binding>\<open>file\<close> (document_antiq check_file) (K I) #>
+ Thy_Output.antiquotation_raw_embedded \<^binding>\<open>dir\<close> (document_antiq check_dir) (K I) #>
+ ML_Antiquotation.value_embedded \<^binding>\<open>path\<close> (ML_antiq check_path) #>
+ ML_Antiquotation.value_embedded \<^binding>\<open>file\<close> (ML_antiq check_file) #>
+ ML_Antiquotation.value_embedded \<^binding>\<open>dir\<close> (ML_antiq check_dir) #>
ML_Antiquotation.value \<^binding>\<open>master_dir\<close>
(Args.theory >> (ML_Syntax.print_path o master_directory)));