doc-src/antiquote_setup.ML
changeset 39829 f5ea50decd9f
parent 38767 d8da44a8dd25
child 39858 5be7a57c3b4e
     1.1 --- a/doc-src/antiquote_setup.ML	Fri Oct 08 21:11:56 2010 +0100
     1.2 +++ b/doc-src/antiquote_setup.ML	Fri Oct 08 21:49:16 2010 +0100
     1.3 @@ -184,6 +184,7 @@
     1.4  val _ = entity_antiqs (K check_tool) "isatt" "tool";
     1.5  val _ = entity_antiqs (K (File.exists o Path.explode)) "isatt" "file";
     1.6  val _ = entity_antiqs (K (can Thy_Info.get_theory)) "" "theory";
     1.7 +val _ = entity_antiqs no_check "" "ML antiquotation";  (* FIXME proper check *)
     1.8  
     1.9  end;
    1.10