# HG changeset patch
# User haftmann
# Date 1222684316 -7200
# Node ID b11b1ca701e555e7d2e04951f5d78ee1d4cc029f
# Parent  9aa3216e5f31e4324ea7d572b4004243d4efe077
added theory antiquotation

diff -r 9aa3216e5f31 -r b11b1ca701e5 doc-src/antiquote_setup.ML
--- 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;