Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
discontinued pointless document antiquotation;
authorwenzelm
Tue, 26 May 2020 19:59:13 +0200
changeset 71898 4df341249348
parent 71897 2cf0b0293f0d
child 71899 9a12eb655f67
discontinued pointless document antiquotation;
src/Pure/System/scala.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/scala.ML	Tue May 26 12:09:36 2020 +0200
+++ b/src/Pure/System/scala.ML	Tue May 26 19:59:13 2020 +0200
@@ -94,9 +94,7 @@
   end;
 
 val _ = Theory.setup
- (Thy_Output.antiquotation_verbatim_embedded \<^binding>\<open>scala_function\<close>
-    (Scan.lift Parse.embedded_position) check_function #>
-  ML_Antiquotation.inline_embedded \<^binding>\<open>scala_function\<close>
+ (ML_Antiquotation.inline_embedded \<^binding>\<open>scala_function\<close>
     (Args.context -- Scan.lift Parse.embedded_position
       >> (uncurry check_function #> ML_Syntax.print_string)) #>
   ML_Antiquotation.value_embedded \<^binding>\<open>scala\<close>
isabelle