| Thu, 01 Mar 2012 11:28:33 +0100 | wenzelm | clarified document nodes (full import graph) vs. node_status (non-preloaded theories); | changeset | files |
| Wed, 29 Feb 2012 23:31:35 +0100 | wenzelm | more defensive node_header; | changeset | files |
| Wed, 29 Feb 2012 23:09:06 +0100 | wenzelm | clarified module Thy_Load; | changeset | files |
| Wed, 29 Feb 2012 17:43:41 +0100 | boehmes | SMT fails if the chosen SMT solver is not installed | changeset | files |
| Tue, 28 Feb 2012 21:58:59 +0100 | wenzelm | merged | changeset | files |
| Tue, 28 Feb 2012 15:54:51 +0100 | blanchet | speed up Sledgehammer's clasimpset lookup a bit | changeset | files |
| Tue, 28 Feb 2012 15:54:51 +0100 | blanchet | use SPASS instead of E for Metis examples -- it's seems faster for these small problems | changeset | files |