--- a/NEWS Fri Oct 03 14:06:19 2008 +0200
+++ b/NEWS Fri Oct 03 14:07:41 2008 +0200
@@ -67,8 +67,9 @@
*** HOL ***
* Wrapper script for remote SystemOnTPTP service allows to use
-sledghammer without local ATP installation (Vampire etc.); see
-ISABELLE_HOME/contrib/SystemOnTPTP/.
+sledgehammer without local ATP installation (Vampire etc.). See also
+ISABELLE_HOME/contrib/SystemOnTPTP and the VAMPIRE_HOME setting
+variable.
* Normalization by evaluation now allows non-leftlinear equations.
Declare with attribute [code nbe].