NEWS
changeset 57431 02c408aed5ee
parent 57430 020cea57eaa4
child 57437 0baf08c075b9
     1.1 --- a/NEWS	Sat Jun 28 22:13:23 2014 +0200
     1.2 +++ b/NEWS	Sun Jun 29 18:28:27 2014 +0200
     1.3 @@ -433,9 +433,7 @@
     1.4          and increase performance and reliability.
     1.5        - MaSh and MeSh are now used by default together with the traditional
     1.6          MePo (Meng-Paulson) relevance filter. To disable MaSh, set the "MaSh"
     1.7 -        system option in Plugin Options / Isabelle / General to "none". Other
     1.8 -        allowed values include "sml" (for the default SML engine) and "py"
     1.9 -        (for the old Python engine).
    1.10 +        system option in Plugin Options / Isabelle / General to "none".
    1.11    - New option:
    1.12        smt_proofs
    1.13    - Renamed options: