# HG changeset patch
# User wenzelm
# Date 1163444932 -3600
# Node ID 7c9cb219b34057e52ee4a287debe94a7d210c0c9
# Parent  320e136db6dc14b88ee0497e3c460ce406c4f126
tuned;

diff -r 320e136db6dc -r 7c9cb219b340 NEWS
--- a/NEWS	Mon Nov 13 20:08:20 2006 +0100
+++ b/NEWS	Mon Nov 13 20:08:52 2006 +0100
@@ -45,9 +45,8 @@
 
 *** Document preparation ***
 
-* Added antiquotation @{theory thyname} which checks the given
-source text as name of a theory loaded or loadable via the current
-theory loader path.
+* Added antiquotation @{theory name} which prints the name $A$, after
+checking that it refers to a valid theory in the current session.
 
 * Added antiquotations @{ML_type text} and @{ML_struct text} which
 check the given source text as ML type/structure, printing verbatim.