NEWS
changeset 64308 b00508facb4f
parent 64280 7ad033e28dbd
child 64309 1bde86d10013
equal deleted inserted replaced
64307:c4d16f35c6e7 64308:b00508facb4f
  1030 
  1030 
  1031 * System option "checkpoint" helps to fine-tune the global heap space
  1031 * System option "checkpoint" helps to fine-tune the global heap space
  1032 management of isabelle build. This is relevant for big sessions that may
  1032 management of isabelle build. This is relevant for big sessions that may
  1033 exhaust the small 32-bit address space of the ML process (which is used
  1033 exhaust the small 32-bit address space of the ML process (which is used
  1034 by default).
  1034 by default).
       
  1035 
       
  1036 * System option "profiling" specifies the mode for global ML profiling
       
  1037 in "isabelle build". Possible values are "time", "allocations".
  1035 
  1038 
  1036 * System option "ML_process_policy" specifies an optional command prefix
  1039 * System option "ML_process_policy" specifies an optional command prefix
  1037 for the underlying ML process, e.g. to control CPU affinity on
  1040 for the underlying ML process, e.g. to control CPU affinity on
  1038 multiprocessor systems. The "isabelle jedit" tool allows to override the
  1041 multiprocessor systems. The "isabelle jedit" tool allows to override the
  1039 implicit default via option -p.
  1042 implicit default via option -p.