NEWS
changeset 63986 c7a4b03727ae
parent 63979 95c3ae4baba8
child 63987 ac96fe9224f6
     1.1 --- a/NEWS	Sat Oct 01 20:59:09 2016 +0200
     1.2 +++ b/NEWS	Sat Oct 01 23:05:25 2016 +0200
     1.3 @@ -970,6 +970,14 @@
     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 "ML_process_policy" specifies an optional command prefix
     1.8 +for the underlying ML process, e.g. to control CPU affinity on
     1.9 +multiprocessor systems.
    1.10 +
    1.11 +* The "isabelle jedit" tool provides options -P and -p to specify an
    1.12 +optional command prefix for the Java and ML process, respectively (see
    1.13 +also option "ML_process_policy").
    1.14 +
    1.15  
    1.16  
    1.17  New in Isabelle2016 (February 2016)