# HG changeset patch
# User wenzelm
# Date 1223035661 -7200
# Node ID ed1385cb2e0193ffd955ff933c060e327673a96e
# Parent  d0b8b0a1fca51fc000c50a2bec171abc656199e3
tuned;

diff -r d0b8b0a1fca5 -r ed1385cb2e01 NEWS
--- 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].