NEWS
changeset 57028 e5466055e94f
parent 57020 f7cf92543e6c
child 57029 75cc30d2b83f
     1.1 --- a/NEWS	Tue May 20 21:13:21 2014 +0200
     1.2 +++ b/NEWS	Tue May 20 22:28:08 2014 +0200
     1.3 @@ -382,8 +382,12 @@
     1.4    - New prover "z3_new" with support for Isar proofs
     1.5    - MaSh overhaul:
     1.6        - A new SML-based learning engine eliminates the dependency on Python
     1.7 -        and increases performance and reliability. See the Sledgehammer
     1.8 -        documentation for details.
     1.9 +        and increases performance and reliability.
    1.10 +      - Activation of MaSh now works via the "mash" system option (without
    1.11 +        requiring restart), instead of former settings variable "MASH".
    1.12 +        The option can be edited in Isabelle/jEdit menu Plugin
    1.13 +        Options / Isabelle / General. Allowed values include "sml" (for the new
    1.14 +        SML engine), "py" (for the Python engine), and "no".
    1.15    - New option:
    1.16        smt_proofs
    1.17    - Renamed options: