# HG changeset patch
# User wenzelm
# Date 1136918022 -3600
# Node ID 6954633b6a7674bc6558a05f46320eb19e935400
# Parent  688056d430b008783d11119546e56bf941441e30
* ML: generic context, data, attributes;

diff -r 688056d430b0 -r 6954633b6a76 NEWS
--- a/NEWS	Tue Jan 10 19:33:41 2006 +0100
+++ b/NEWS	Tue Jan 10 19:33:42 2006 +0100
@@ -297,6 +297,16 @@
 
 * Pure/General: rat.ML implements rational numbers.
 
+* Pure: datatype Context.generic joins theory/Proof.context and
+provides some facilities for generic code that works in either kind of
+context, notably GenericDataFun for uniform theory and proof data.
+
+* Pure: type Context.generic attribute is now the preferred
+representation for global vs. local attributes while avoiding code
+duplication; Attrib.theory/context/generic converts between different
+types of attributes.  Various Pure/HOL/ZF packages work with generic
+attributes now, INCOMPATIBILITY.
+
 * Pure: several functions of signature "... -> theory -> theory * ..."
 have been reoriented to "... -> theory -> ... * theory" in order to
 allow natural usage in combination with the ||>, ||>>, |-> and