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 _______________________________________________ Isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
