NEWS
changeset 57272 fd539459a112
parent 57253 6515cf25de13
child 57413 c14af83bd8db
     1.1 --- a/NEWS	Tue Jun 17 18:41:44 2014 +0200
     1.2 +++ b/NEWS	Wed Jun 18 13:23:09 2014 +0200
     1.3 @@ -392,11 +392,11 @@
     1.4    - MaSh overhaul:
     1.5        - New SML-based learning engines eliminate the dependency on Python
     1.6          and increase performance and reliability.
     1.7 -      - Activation of MaSh now works via the "MaSh" system option (without
     1.8 -        requiring restart), instead of former settings variable "MASH".
     1.9 -        The option can be edited in Isabelle/jEdit menu Plugin
    1.10 -        Options / Isabelle / General. Allowed values include "sml" (for the
    1.11 -        default SML engine), "py" (for the old Python engine), and "none".
    1.12 +      - MaSh and MeSh are now used by default together with the traditional
    1.13 +        MePo (Meng-Paulson) relevance filter. To disable MaSh, set the "MaSh"
    1.14 +        system option in Plugin Options / Isabelle / General to "none". Other
    1.15 +        allowed values include "sml" (for the default SML engine) and "py"
    1.16 +        (for the old Python engine).
    1.17    - New option:
    1.18        smt_proofs
    1.19    - Renamed options: