NEWS
changeset 64274 c8990e5feac9
parent 64265 8eb6365f5916
child 64280 7ad033e28dbd
     1.1 --- a/NEWS	Mon Oct 17 11:07:01 2016 +0200
     1.2 +++ b/NEWS	Mon Oct 17 15:00:46 2016 +0200
     1.3 @@ -992,6 +992,10 @@
     1.4  given heap image. Errors lead to premature exit of the ML process with
     1.5  return code 1.
     1.6  
     1.7 +* The system option "threads" (for the size of the Isabelle/ML thread
     1.8 +farm) is also passed to the underlying ML runtime system as --gcthreads,
     1.9 +unless there is already a default provided via ML_OPTIONS settings.
    1.10 +
    1.11  * Command-line tool "isabelle console" provides option -r to help to
    1.12  bootstrapping Isabelle/Pure interactively.
    1.13