doc-src/antiquote_setup.ML
changeset 40801 6cfacec435e6
parent 39873 b70cd46e8e44
child 42290 b1f544c84040
     1.1 --- a/doc-src/antiquote_setup.ML	Sun Nov 28 21:07:28 2010 +0100
     1.2 +++ b/doc-src/antiquote_setup.ML	Mon Nov 29 11:22:40 2010 +0100
     1.3 @@ -4,7 +4,7 @@
     1.4  Auxiliary antiquotations for the Isabelle manuals.
     1.5  *)
     1.6  
     1.7 -structure AntiquoteSetup: sig end =
     1.8 +structure Antiquote_Setup: sig end =
     1.9  struct
    1.10  
    1.11  (* misc utils *)
    1.12 @@ -190,7 +190,6 @@
    1.13  val _ = entity_antiqs no_check "" "inference";
    1.14  val _ = entity_antiqs no_check "isatt" "executable";
    1.15  val _ = entity_antiqs (K check_tool) "isatt" "tool";
    1.16 -val _ = entity_antiqs (K (File.exists o Path.explode)) "isatt" "file";
    1.17  val _ = entity_antiqs (K (can Thy_Info.get_theory)) "" "theory";
    1.18  val _ = entity_antiqs no_check "" "ML antiquotation";  (* FIXME proper check *)
    1.19