NEWS
changeset 16799 978dcf30c3dd
parent 16718 70c94b82c556
child 16856 6468a5d6a16e
     1.1 --- a/NEWS	Wed Jul 13 15:25:05 2005 +0200
     1.2 +++ b/NEWS	Wed Jul 13 16:07:18 2005 +0200
     1.3 @@ -416,6 +416,10 @@
     1.4  controls execution profiling -- set to 1 for time and 2 for space
     1.5  (both increase the runtime).
     1.6  
     1.7 +* Isar session: The initial use of ROOT.ML is now always timed,
     1.8 +i.e. the log will show the actual process times, in contrast to the
     1.9 +elapsed wall-clock time that the outer shell wrapper produces.
    1.10 + 
    1.11  * Pure: structure OrdList (cf. Pure/General/ord_list.ML) provides a
    1.12  reasonably efficient light-weight implementation of sets as lists.
    1.13