Fri, 30 Oct 2009 18:32:41 +0100 | haftmann | set Pure theory name properly | changeset | files |
Fri, 30 Oct 2009 18:32:40 +0100 | haftmann | tuned code setup | changeset | files |
Fri, 30 Oct 2009 14:52:14 +0100 | wenzelm | some notes on SPASS 3.0 distribution; | changeset | files |