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