[isabelle-dev] Sledgehammer users: SPASS upgrade

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Thu Apr 22 15:40:05 CEST 2010


Am 22.04.2010 um 11:52 schrieb Jasmin Blanchette:

> The new SPASS is available from
> 
>    http://isabelle.in.tum.de/~blanchet/spass-3.7.tgz
> 
> The installation procedure is as before: Unpack the archive somewhere. Edit your "~/.isabelle/etc/components" file and replace the line "/path/to/old/spass" with "/path/to/new/spass". Viel SpaƟ!

I should also have mentioned that this will only work if you have a reasonably recent version of Isabelle (after 07d4f74abd12 I believe). The configuration file refers to "ISABELLE_PLATFORM", which is a new variable that supersedes "ML_PLATFORM".

Jasmin




More information about the isabelle-dev mailing list