added "inference" entity;
authorwenzelm
Wed Feb 11 21:39:37 2009 +0100 (2009-02-11)
changeset 297265f91ff5c03a2
parent 29725 03916d2d16d3
child 29727 cda1fb36a082
added "inference" entity;
doc-src/antiquote_setup.ML
     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" @