# HG changeset patch
# User wenzelm
# Date 1178491945 -7200
# Node ID f65a76867179c9d32412fbb9dffbb0226225066a
# Parent  22da6c4bc422261bbdbf7fa22528b2792bdea63b
* Context data interfaces;

diff -r 22da6c4bc422 -r f65a76867179 NEWS
--- a/NEWS	Mon May 07 00:50:09 2007 +0200
+++ b/NEWS	Mon May 07 00:52:25 2007 +0200
@@ -902,6 +902,10 @@
 
 *** ML ***
 
+* Context data interfaces (Theory/Proof/GenericDataFun): removed
+name/print, use adhoc value for uninitialized data, init only required
+for impure data.
+
 * ML within Isar: antiquotations allow to embed statically-checked
 formal entities in the source, referring to the context available at
 compile-time.  For example: