# HG changeset patch
# User immler@in.tum.de
# Date 1237049573 -3600
# Node ID a77b7995062a9303844002e4fb7a2a80d384a2a0
# Parent  0dd8dfe424cfd4238706e285f48ddc7a1e3d4bd4
updated NEWS

diff -r 0dd8dfe424cf -r a77b7995062a NEWS
--- a/NEWS	Sat Mar 14 16:50:25 2009 +0100
+++ b/NEWS	Sat Mar 14 17:52:53 2009 +0100
@@ -335,10 +335,9 @@
 commands are covered in the isar-ref manual.
 
 * Wrapper scripts for remote SystemOnTPTP service allows to use
-sledgehammer without local ATP installation (Vampire etc.).  See also
-ISABELLE_HOME/contrib/SystemOnTPTP and the VAMPIRE_HOME setting
-variable.  Other provers may be included via suitable ML wrappers, see
-also src/HOL/ATP_Linkup.thy.
+sledgehammer without local ATP installation (Vampire etc.). Other
+provers may be included via suitable ML wrappers, see also
+src/HOL/ATP_Linkup.thy.
 
 * Normalization by evaluation now allows non-leftlinear equations.
 Declare with attribute [code nbe].