--- 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.