--- a/NEWS Mon May 26 14:10:10 2014 +0200
+++ b/NEWS Mon May 26 14:15:48 2014 +0200
@@ -381,9 +381,9 @@
* Sledgehammer:
- New prover "z3_new" with support for Isar proofs
- MaSh overhaul:
- - A new SML-based learning engine eliminates the dependency on Python
- and increases performance and reliability.
- - Activation of MaSh now works via the "mash" system option (without
+ - New SML-based learning engines eliminate the dependency on Python
+ and increase performance and reliability.
+ - Activation of MaSh now works via the "MaSh" system option (without
requiring restart), instead of former settings variable "MASH".
The option can be edited in Isabelle/jEdit menu Plugin
Options / Isabelle / General. Allowed values include "sml" (for the