1.1 --- a/doc-src/antiquote_setup.ML Wed Feb 11 21:39:12 2009 +0100
1.2 +++ b/doc-src/antiquote_setup.ML Wed Feb 11 21:39:37 2009 +0100
1.3 @@ -1,5 +1,4 @@
1.4 (* Title: Doc/antiquote_setup.ML
1.5 - ID: $Id$
1.6 Author: Makarius
1.7
1.8 Auxiliary antiquotations for the Isabelle manuals.
1.9 @@ -193,6 +192,7 @@
1.10 entity_antiqs no_check "" "case" @
1.11 entity_antiqs (K ThyOutput.defined_command) "" "antiquotation" @
1.12 entity_antiqs (fn _ => fn name => is_some (OS.Process.getEnv name)) "isatt" "setting" @
1.13 + entity_antiqs no_check "" "inference" @
1.14 entity_antiqs no_check "isatt" "executable" @
1.15 entity_antiqs (K check_tool) "isatt" "tool" @
1.16 entity_antiqs (K (File.exists o Path.explode)) "isatt" "file" @