Wed, 28 Jul 2010 10:45:49 +0200 | blanchet | renaming | changeset | files |
Wed, 28 Jul 2010 10:06:06 +0200 | blanchet | support latest version of Vampire (1.0) locally | changeset | files |
Wed, 28 Jul 2010 00:53:24 +0200 | blanchet | improve detection of installed SPASS | changeset | files |