Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/Code/code_preproc.ML
changeset 45230 1b08942bb86f
parent 45189 80cb73210612
child 46026 83caa4f4bd56 
--- a/src/Tools/Code/code_preproc.ML	Fri Oct 21 10:37:03 2011 +0200
+++ b/src/Tools/Code/code_preproc.ML	Fri Oct 21 11:17:12 2011 +0200
@@ -518,8 +518,6 @@
   in
     Attrib.setup @{binding code_unfold} (add_del_attribute_parser add_unfold del_unfold)
         "preprocessing equations for code generator"
-    #> Attrib.setup @{binding code_inline} (add_del_attribute_parser add_unfold del_unfold)
-        "preprocessing equations for code generator"
     #> Attrib.setup @{binding code_post} (add_del_attribute_parser add_post del_post)
         "postprocessing equations for code generator"
     #> Attrib.setup @{binding code_unfold_post} (Scan.succeed (mk_attribute add_unfold_post))
isabelle