unused;
authorwenzelm
Tue Nov 10 19:56:51 2015 +0100 (2015-11-10)
changeset 61616abbecf4e6601
parent 61615 e8fcd347b669
child 61617 cd7549cd5fe7
unused;
src/Doc/antiquote_setup.ML
     1.1 --- a/src/Doc/antiquote_setup.ML	Tue Nov 10 19:50:56 2015 +0100
     1.2 +++ b/src/Doc/antiquote_setup.ML	Tue Nov 10 19:56:51 2015 +0100
     1.3 @@ -141,14 +141,6 @@
     1.4              #> enclose "\\isa{" "}")));
     1.5  
     1.6  
     1.7 -(* theory file *)
     1.8 -
     1.9 -val _ =
    1.10 -  Theory.setup (Thy_Output.antiquotation @{binding thy_file} (Scan.lift Args.name)
    1.11 -    (fn {context = ctxt, ...} =>
    1.12 -      fn name => (Resources.check_thy Path.current name; Thy_Output.output ctxt [Pretty.str name])));
    1.13 -
    1.14 -
    1.15  (* Isabelle/jEdit elements *)
    1.16  
    1.17  local