NEWS

--- a/NEWS	Fri Jun 26 00:14:10 2015 +0200
+++ b/NEWS	Fri Jun 26 11:08:33 2015 +0200
@@ -126,6 +126,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.
+  - The URL for remote provers on SystemOnTPTP has been updated.
 
 * Nitpick:
   - Removed "check_potential" and "check_genuine" options.