NEWS
changeset 61043 0810068379d8
parent 61030 aeb578badc1c
child 61069 aefe89038dd2
     1.1 --- a/NEWS	Fri Aug 28 13:37:06 2015 +0200
     1.2 +++ b/NEWS	Fri Aug 28 16:48:05 2015 +0200
     1.3 @@ -193,6 +193,8 @@
     1.4      cases where Sledgehammer gives a proof that does not work.
     1.5    - Auto Sledgehammer now minimizes and preplays the results.
     1.6    - Handle Vampire 4.0 proof output without raising exception.
     1.7 +  - Eliminated "MASH" environment variable. Use the "MaSh" option in
     1.8 +    Isabelle/jEdit instead. INCOMPATIBILITY.
     1.9  
    1.10  * Nitpick:
    1.11    - Removed "check_potential" and "check_genuine" options.