[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
> 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".
More information about the isabelle-dev