* Isar profiling: new reference Toplevel.profiling (default 0);
authorwenzelm
Fri Jul 01 14:55:05 2005 +0200 (2005-07-01)
changeset 166620836569a8ffc
parent 16661 507438b27f66
child 16663 13e9c402308b
* Isar profiling: new reference Toplevel.profiling (default 0);
NEWS
     1.1 --- a/NEWS	Fri Jul 01 14:42:05 2005 +0200
     1.2 +++ b/NEWS	Fri Jul 01 14:55:05 2005 +0200
     1.3 @@ -407,8 +407,13 @@
     1.4  
     1.5  * Pure: print_tac now outputs the goal through the trace channel.
     1.6  
     1.7 -* Isar debugging: new reference Toplevel.debug; default false.  Set to
     1.8 -make printing of exceptions THM, TERM, TYPE and THEORY more verbose.
     1.9 +* Isar debugging: new reference Toplevel.debug (default false).  Set
    1.10 +to make printing of exceptions THM, TERM, TYPE and THEORY more
    1.11 +verbose.
    1.12 +
    1.13 +* Isar profiling: new reference Toplevel.profiling (default 0).  For
    1.14 +Poly/ML, set to 1 to profile time, 2 to profile space (which increases
    1.15 +the runtime).
    1.16  
    1.17  * Pure: name spaces have been refined, with significant changes of the
    1.18  internal interfaces -- INCOMPATIBILITY.  Renamed cond_extern(_table)