diff -r b09461b3bc05 -r aeb578badc1c NEWS
--- a/NEWS	Thu Aug 27 20:10:40 2015 +0200
+++ b/NEWS	Thu Aug 27 20:16:07 2015 +0200
@@ -192,6 +192,7 @@
   - Proof reconstruction has been improved, to minimize the incidence of
     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.
 
 * Nitpick:
   - Removed "check_potential" and "check_genuine" options.