--- a/doc-src/antiquote_setup.ML Mon Sep 29 11:46:52 2008 +0200
+++ b/doc-src/antiquote_setup.ML Mon Sep 29 12:31:56 2008 +0200
@@ -205,7 +205,8 @@
entity_antiqs (fn _ => fn name => is_some (OS.Process.getEnv name)) "isatt" "setting" @
entity_antiqs no_check "isatt" "executable" @
entity_antiqs (K check_tool) "isatt" "tool" @
- entity_antiqs (K (File.exists o Path.explode)) "isatt" "file");
+ entity_antiqs (K (File.exists o Path.explode)) "isatt" "file" @
+ entity_antiqs (K ThyInfo.known_thy) "" "theory");
end;