[isabelle-dev] NEWS

Makarius makarius at sketis.net
Fri Oct 3 14:12:48 CEST 2008

* Wrapper script 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. (By Fabian Immler, TUM)

(CVS note: need to move Distribution/contrib/ out of the way, if it exists 
already locally.)

More information about the isabelle-dev mailing list