| changeset 42015 | 7b6e72a1b7dd |
| parent 41999 | 3c029ef9e0f2 |
| child 42056 | 160a630b2c7e |
--- a/NEWS Sun Mar 20 22:08:12 2011 +0100 +++ b/NEWS Sun Mar 20 22:26:43 2011 +0100 @@ -65,6 +65,9 @@ *** ML *** +* Structure Timing provides various operations for timing; supersedes +former start_timing/end_timing etc. + * Path.print is the official way to show file-system paths to users (including quotes etc.).