| Wed, 28 Jul 2010 18:54:18 +0200 | blanchet | minor refactoring | changeset | files |
| Wed, 28 Jul 2010 18:45:18 +0200 | blanchet | updated Sledgehammer docs | changeset | files |
| Wed, 28 Jul 2010 18:35:15 +0200 | blanchet | remove needless "-x" option, now that (1) we can't handle remote SPASS anymore; and (2) we can a priori parse the SPASS syntax in "Sledgehammer_Proof_Reconstruct" anyway | changeset | files |
| Wed, 28 Jul 2010 18:32:54 +0200 | blanchet | remove "remote_spass" because there's no way to find out which clauses come from which facts + rename scripts | changeset | files |