--- a/NEWS Sat Jun 28 22:13:23 2014 +0200
+++ b/NEWS Sun Jun 29 18:28:27 2014 +0200
@@ -433,9 +433,7 @@
and increase performance and reliability.
- 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).
+ system option in Plugin Options / Isabelle / General to "none".
- New option:
smt_proofs
- Renamed options: