NEWS

--- a/NEWS	Fri Oct 03 13:21:01 2008 +0200
+++ b/NEWS	Fri Oct 03 14:06:19 2008 +0200
@@ -66,6 +66,10 @@
 
 *** HOL ***
 
+* Wrapper script for remote SystemOnTPTP service allows to use
+sledghammer without local ATP installation (Vampire etc.); see
+ISABELLE_HOME/contrib/SystemOnTPTP/.
+
 * Normalization by evaluation now allows non-leftlinear equations.
 Declare with attribute [code nbe].