| Fri, 22 Oct 2010 14:47:43 +0200 | blanchet | replaced references with proper record that's threaded through | changeset | files |
| Fri, 22 Oct 2010 14:10:32 +0200 | blanchet | fixed signature of "is_smt_solver_installed"; | changeset | files |
| Fri, 22 Oct 2010 13:57:54 +0200 | blanchet | renamed modules | changeset | files |
| Fri, 22 Oct 2010 13:54:51 +0200 | blanchet | renamed files | changeset | files |
| Fri, 22 Oct 2010 13:49:44 +0200 | blanchet | took out "smt"/"remote_smt" from default ATPs until they are properly implemented | changeset | files |
| Fri, 22 Oct 2010 13:48:21 +0200 | blanchet | remove more needless code ("run_smt_solvers"); | changeset | files |
| Fri, 22 Oct 2010 12:15:31 +0200 | blanchet | got rid of duplicate functionality ("run_smt_solver_somehow"); | changeset | files |