src/Pure/PIDE/resources.ML
changeset 67147 dea94b1aabc3
parent 67104 a2fa0c6a7aff
child 67209 fca5f2988091
     1.1 --- a/src/Pure/PIDE/resources.ML	Wed Dec 06 15:46:35 2017 +0100
     1.2 +++ b/src/Pure/PIDE/resources.ML	Wed Dec 06 18:59:33 2017 +0100
     1.3 @@ -229,19 +229,19 @@
     1.4  in
     1.5  
     1.6  val _ = Theory.setup
     1.7 - (Thy_Output.antiquotation @{binding path} (Scan.lift (Parse.position Parse.path))
     1.8 + (Thy_Output.antiquotation \<^binding>\<open>path\<close> (Scan.lift (Parse.position Parse.path))
     1.9      (document_antiq NONE o #context) #>
    1.10 -  Thy_Output.antiquotation @{binding file} (Scan.lift (Parse.position Parse.path))
    1.11 +  Thy_Output.antiquotation \<^binding>\<open>file\<close> (Scan.lift (Parse.position Parse.path))
    1.12      (document_antiq (SOME File.check_file) o #context) #>
    1.13 -  Thy_Output.antiquotation @{binding dir} (Scan.lift (Parse.position Parse.path))
    1.14 +  Thy_Output.antiquotation \<^binding>\<open>dir\<close> (Scan.lift (Parse.position Parse.path))
    1.15      (document_antiq (SOME File.check_dir) o #context) #>
    1.16 -  ML_Antiquotation.value @{binding path}
    1.17 +  ML_Antiquotation.value \<^binding>\<open>path\<close>
    1.18      (Args.context -- Scan.lift (Parse.position Parse.path)
    1.19        >> uncurry (ML_antiq NONE)) #>
    1.20 -  ML_Antiquotation.value @{binding file}
    1.21 +  ML_Antiquotation.value \<^binding>\<open>file\<close>
    1.22      (Args.context -- Scan.lift (Parse.position Parse.path)
    1.23        >> uncurry (ML_antiq (SOME File.check_file))) #>
    1.24 -  ML_Antiquotation.value @{binding dir}
    1.25 +  ML_Antiquotation.value \<^binding>\<open>dir\<close>
    1.26      (Args.context -- Scan.lift (Parse.position Parse.path)
    1.27        >> uncurry (ML_antiq (SOME File.check_dir))));
    1.28