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