--- a/NEWS Tue Jun 17 18:41:44 2014 +0200
+++ b/NEWS Wed Jun 18 13:23:09 2014 +0200
@@ -392,11 +392,11 @@
- MaSh overhaul:
- 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
- default SML engine), "py" (for the old Python engine), and "none".
+ - MaSh and MeSh are now used by default together with the traditional
+ MePo (Meng-Paulson) relevance filter. To disable MaSh, set the "MaSh"
+ system option in Plugin Options / Isabelle / General to "none". Other
+ allowed values include "sml" (for the default SML engine) and "py"
+ (for the old Python engine).
- New option:
smt_proofs
- Renamed options: