NEWS
changeset 64309 1bde86d10013
parent 64290 fb5c74a58796
parent 64308 b00508facb4f
child 64323 20d15328b248
     1.1 --- a/NEWS	Tue Oct 18 23:47:33 2016 +0200
     1.2 +++ b/NEWS	Wed Oct 19 14:43:11 2016 +0200
     1.3 @@ -1037,6 +1037,9 @@
     1.4  exhaust the small 32-bit address space of the ML process (which is used
     1.5  by default).
     1.6  
     1.7 +* System option "profiling" specifies the mode for global ML profiling
     1.8 +in "isabelle build". Possible values are "time", "allocations".
     1.9 +
    1.10  * System option "ML_process_policy" specifies an optional command prefix
    1.11  for the underlying ML process, e.g. to control CPU affinity on
    1.12  multiprocessor systems. The "isabelle jedit" tool allows to override the