# HG changeset patch
# User haftmann
# Date 1163429004 -3600
# Node ID b59f7cca0b0c2a8f492aaea01eb50e56eac22f8d
# Parent  56d55dd30311159b6953a7a35aa3cc2454de7966
added antiquotation theory

diff -r 56d55dd30311 -r b59f7cca0b0c NEWS
--- a/NEWS	Mon Nov 13 15:43:16 2006 +0100
+++ b/NEWS	Mon Nov 13 15:43:24 2006 +0100
@@ -45,6 +45,10 @@
 
 *** 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 antiquotations @{ML_type text} and @{ML_struct text} which
 check the given source text as ML type/structure, printing verbatim.
 
@@ -1620,6 +1624,9 @@
 
 *** ML ***
 
+* Pure/library.ML: added ##>, ##>>, #>> -- higher-order counterparts
+for ||>, ||>>, |>>,
+
 * Pure/library.ML no longer defines its own option datatype, but uses
 that of the SML basis, which has constructors NONE and SOME instead of
 None and Some, as well as exception Option.Option instead of OPTION.