changeset 24891 | df3581710b9b |
parent 24867 | e5b55d7be9bb |
child 24920 | 2a45e400fdad |
--- a/NEWS Sun Oct 07 13:52:16 2007 +0200 +++ b/NEWS Sun Oct 07 13:57:05 2007 +0200 @@ -1374,6 +1374,8 @@ operations, notably runtime compilation and evaluation of ML source code. +* Basic Isabelle mode for jEdit, see Isabelle/lib/jedit/. + * Support for parallel execution, using native multicore support of Poly/ML 5.1. The theory loader exploits parallelism when processing independent theories, according to the given theory header