--- a/NEWS Tue Oct 18 23:47:33 2016 +0200
+++ b/NEWS Wed Oct 19 14:43:11 2016 +0200
@@ -1037,6 +1037,9 @@
exhaust the small 32-bit address space of the ML process (which is used
by default).
+* System option "profiling" specifies the mode for global ML profiling
+in "isabelle build". Possible values are "time", "allocations".
+
* System option "ML_process_policy" specifies an optional command prefix
for the underlying ML process, e.g. to control CPU affinity on
multiprocessor systems. The "isabelle jedit" tool allows to override the