NEWS
changeset 64265 8eb6365f5916
parent 64246 15d1ee6e847b
child 64274 c8990e5feac9
     1.1 --- a/NEWS	Sun Oct 16 20:19:10 2016 +0200
     1.2 +++ b/NEWS	Sun Oct 16 22:43:51 2016 +0200
     1.3 @@ -1026,6 +1026,10 @@
     1.4  name space of Java and Scala components that are bundled with Isabelle,
     1.5  but without the Isabelle settings environment.
     1.6  
     1.7 +* The command-line tool "isabelle build" supports option -N for cyclic
     1.8 +shuffling of NUMA CPU nodes. This may help performance tuning on Linux
     1.9 +servers with separate CPU/memory modules.
    1.10 +
    1.11  
    1.12  
    1.13  New in Isabelle2016 (February 2016)