NEWS
changeset 24891 df3581710b9b
parent 24867 e5b55d7be9bb
child 24920 2a45e400fdad
equal deleted inserted replaced
24890:5ce94680922e 24891:df3581710b9b
  1371 This simplifies use of multiple Isabelle installations.
  1371 This simplifies use of multiple Isabelle installations.
  1372 
  1372 
  1373 * isabelle-process: option -S (secure mode) disables some critical
  1373 * isabelle-process: option -S (secure mode) disables some critical
  1374 operations, notably runtime compilation and evaluation of ML source
  1374 operations, notably runtime compilation and evaluation of ML source
  1375 code.
  1375 code.
       
  1376 
       
  1377 * Basic Isabelle mode for jEdit, see Isabelle/lib/jedit/.
  1376 
  1378 
  1377 * Support for parallel execution, using native multicore support of
  1379 * Support for parallel execution, using native multicore support of
  1378 Poly/ML 5.1.  The theory loader exploits parallelism when processing
  1380 Poly/ML 5.1.  The theory loader exploits parallelism when processing
  1379 independent theories, according to the given theory header
  1381 independent theories, according to the given theory header
  1380 specifications. The maximum number of worker threads is specified via
  1382 specifications. The maximum number of worker threads is specified via