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