NEWS
changeset 42360 da8817d01e7c
parent 42358 b47d41d9f4b5
child 42370 244911efd275
     1.1 --- a/NEWS	Sat Apr 16 15:25:25 2011 +0200
     1.2 +++ b/NEWS	Sat Apr 16 15:47:52 2011 +0200
     1.3 @@ -84,6 +84,9 @@
     1.4  
     1.5  *** ML ***
     1.6  
     1.7 +* Structure Proof_Context follows standard naming scheme.  Old
     1.8 +ProofContext is still available for some time as legacy alias.
     1.9 +
    1.10  * Structure Timing provides various operations for timing; supersedes
    1.11  former start_timing/end_timing etc.
    1.12