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