added theory antiquotation
authorhaftmann
Mon Sep 29 12:31:56 2008 +0200 (2008-09-29)
changeset 28399b11b1ca701e5
parent 28398 9aa3216e5f31
child 28400 89904cfd41c3
added theory antiquotation
doc-src/antiquote_setup.ML
     1.1 --- a/doc-src/antiquote_setup.ML	Mon Sep 29 11:46:52 2008 +0200
     1.2 +++ b/doc-src/antiquote_setup.ML	Mon Sep 29 12:31:56 2008 +0200
     1.3 @@ -205,7 +205,8 @@
     1.4    entity_antiqs (fn _ => fn name => is_some (OS.Process.getEnv name)) "isatt" "setting" @
     1.5    entity_antiqs no_check "isatt" "executable" @
     1.6    entity_antiqs (K check_tool) "isatt" "tool" @
     1.7 -  entity_antiqs (K (File.exists o Path.explode)) "isatt" "file");
     1.8 +  entity_antiqs (K (File.exists o Path.explode)) "isatt" "file" @
     1.9 +  entity_antiqs (K ThyInfo.known_thy) "" "theory");
    1.10  
    1.11  end;
    1.12