1.1 --- a/NEWS	Wed Oct 15 21:45:02 2008 +0200
     1.2 +++ b/NEWS	Wed Oct 15 22:12:02 2008 +0200
     1.3 @@ -100,7 +100,8 @@
     1.4  Posix processes.  Avoids potentially expensive forking of the ML
     1.5  process.  New thread-based implementation also works on non-Unix
     1.6  platforms (Cygwin).  Provers are no longer hardwired, but defined
     1.7 -within the theory via plain ML wrapper functions.
     1.8 +within the theory via plain ML wrapper functions.  Basic Sledgehammer
     1.9 +commands are covered in the isar-ref manual
    1.10  
    1.11  * Wrapper scripts for remote SystemOnTPTP service allows to use
    1.12  sledgehammer without local ATP installation (Vampire etc.).  See also