NEWS
changeset 57089 353652f47974
parent 57084 70e288a4b32d
child 57091 1fa9c19ba2c9
     1.1 --- a/NEWS	Mon May 26 14:10:10 2014 +0200
     1.2 +++ b/NEWS	Mon May 26 14:15:48 2014 +0200
     1.3 @@ -381,9 +381,9 @@
     1.4  * Sledgehammer:
     1.5    - New prover "z3_new" with support for Isar proofs
     1.6    - MaSh overhaul:
     1.7 -      - A new SML-based learning engine eliminates the dependency on Python
     1.8 -        and increases performance and reliability.
     1.9 -      - Activation of MaSh now works via the "mash" system option (without
    1.10 +      - New SML-based learning engines eliminate the dependency on Python
    1.11 +        and increase performance and reliability.
    1.12 +      - Activation of MaSh now works via the "MaSh" system option (without
    1.13          requiring restart), instead of former settings variable "MASH".
    1.14          The option can be edited in Isabelle/jEdit menu Plugin
    1.15          Options / Isabelle / General. Allowed values include "sml" (for the