NEWS

--- a/NEWS	Fri Aug 28 13:37:06 2015 +0200
+++ b/NEWS	Fri Aug 28 16:48:05 2015 +0200
@@ -193,6 +193,8 @@
     cases where Sledgehammer gives a proof that does not work.
   - Auto Sledgehammer now minimizes and preplays the results.
   - Handle Vampire 4.0 proof output without raising exception.
+  - Eliminated "MASH" environment variable. Use the "MaSh" option in
+    Isabelle/jEdit instead. INCOMPATIBILITY.
 
 * Nitpick:
   - Removed "check_potential" and "check_genuine" options.