[isabelle-dev] NEWS: session profiling

[Makarius]

*** System ***

* System option "profiling" specifies the mode for global ML profiling
in "isabelle build". Possible values are "time", "allocations".


This refers to Isabelle/b00508facb4f and 3d5e7719e878, which provides an
updated "isabelle profiling_report" tool (that is not in the NEWS,
because it is in the Admin area only).

This low-level profiling occasionally helps to figure out low-level
performance holes, e.g. see c4d16f35c6e7. (I was not looking for that
explicitly, but found it in the routine measurements for ongoing Poly/ML
changes.)


	Makarius