NEWS
changeset 63987 ac96fe9224f6
parent 63986 c7a4b03727ae
child 63995 2e4d80723fb0
     1.1 --- a/NEWS	Sat Oct 01 23:05:25 2016 +0200
     1.2 +++ b/NEWS	Sun Oct 02 12:29:18 2016 +0200
     1.3 @@ -972,11 +972,8 @@
     1.4  
     1.5  * System option "ML_process_policy" specifies an optional command prefix
     1.6  for the underlying ML process, e.g. to control CPU affinity on
     1.7 -multiprocessor systems.
     1.8 -
     1.9 -* The "isabelle jedit" tool provides options -P and -p to specify an
    1.10 -optional command prefix for the Java and ML process, respectively (see
    1.11 -also option "ML_process_policy").
    1.12 +multiprocessor systems. The "isabelle jedit" tool allows to override the
    1.13 +implicit default via option -p.
    1.14  
    1.15  
    1.16