| 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 | file | diff | annotate |
| 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 | file | diff | annotate | base |