NEWS
changeset 57029 75cc30d2b83f
parent 57028 e5466055e94f
child 57084 70e288a4b32d
     1.1 --- a/NEWS	Tue May 20 22:28:08 2014 +0200
     1.2 +++ b/NEWS	Tue May 20 22:28:44 2014 +0200
     1.3 @@ -386,8 +386,8 @@
     1.4        - Activation of MaSh now works via the "mash" system option (without
     1.5          requiring restart), instead of former settings variable "MASH".
     1.6          The option can be edited in Isabelle/jEdit menu Plugin
     1.7 -        Options / Isabelle / General. Allowed values include "sml" (for the new
     1.8 -        SML engine), "py" (for the Python engine), and "no".
     1.9 +        Options / Isabelle / General. Allowed values include "sml" (for the
    1.10 +        default SML engine), "py" (for the old Python engine), and "none".
    1.11    - New option:
    1.12        smt_proofs
    1.13    - Renamed options: