NEWS
changeset 22848 f65a76867179
parent 22845 5f9138bcb3d7
child 22863 e1d3fa78b8e1
     1.1 --- a/NEWS	Mon May 07 00:50:09 2007 +0200
     1.2 +++ b/NEWS	Mon May 07 00:52:25 2007 +0200
     1.3 @@ -902,6 +902,10 @@
     1.4  
     1.5  *** ML ***
     1.6  
     1.7 +* Context data interfaces (Theory/Proof/GenericDataFun): removed
     1.8 +name/print, use adhoc value for uninitialized data, init only required
     1.9 +for impure data.
    1.10 +
    1.11  * ML within Isar: antiquotations allow to embed statically-checked
    1.12  formal entities in the source, referring to the context available at
    1.13  compile-time.  For example: