--- a/NEWS Wed Jul 13 15:25:05 2005 +0200
+++ b/NEWS Wed Jul 13 16:07:18 2005 +0200
@@ -416,6 +416,10 @@
controls execution profiling -- set to 1 for time and 2 for space
(both increase the runtime).
+* Isar session: The initial use of ROOT.ML is now always timed,
+i.e. the log will show the actual process times, in contrast to the
+elapsed wall-clock time that the outer shell wrapper produces.
+
* Pure: structure OrdList (cf. Pure/General/ord_list.ML) provides a
reasonably efficient light-weight implementation of sets as lists.