From: schulz@eprover.org   
      
   E 0.999 "Longview" is the latest version of the successful theorem   
   prover for first order logic with equality.   
      
   E is a a purely equational theorem prover for full first order logic   
   with equality. It has successfully competed in several CASC   
   competitions and is generally considered a friendly and powerful   
   system (as theorem provers go).   
      
   The new version has several improvements of the internal inference   
   engine, bug fixes (especially to support tools that suffered from bit   
   rot), and updates to comply with the latest TPTP-3 syntax.   
      
   E is available as a source distribution for UNIX-variants. It installs   
   cleanly under all UNIX variants I could get my hands on: Various   
   versions of GNU/Linux for Intel and SPARC, Solaris, HPUX and   
   MacOS-X. Users have reported successful builds on a large number of   
   other systems, including Windows/Cygwin.   
      
   The system is distributed under the GNU General Public License.   
      
   You can find the source distribution and additional information at   
   http://www.eprover.org   
      
      
   Have fun!   
      
      
   Stephan   
      
   --   
   -------------------------- It can be done! ---------------------------------   
         Please email me as schulz@eprover.org (Stephan Schulz)   
   ----------------------------------------------------------------------------   
      
   [ comp.ai is moderated ... your article may take a while to appear. ]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)