NEWS
changeset 64342 53fb4a19fb98
parent 64323 20d15328b248
child 64363 90ceace1e814
     1.1 --- a/NEWS	Sat Oct 22 12:34:17 2016 +0200
     1.2 +++ b/NEWS	Sat Oct 22 12:34:58 2016 +0200
     1.3 @@ -1041,7 +1041,9 @@
     1.4  by default).
     1.5  
     1.6  * System option "profiling" specifies the mode for global ML profiling
     1.7 -in "isabelle build". Possible values are "time", "allocations".
     1.8 +in "isabelle build". Possible values are "time", "allocations". The
     1.9 +command-line tool "isabelle profiling_report" helps to digest the
    1.10 +resulting log files.
    1.11  
    1.12  * System option "ML_process_policy" specifies an optional command prefix
    1.13  for the underlying ML process, e.g. to control CPU affinity on