| Mon, 26 Apr 2010 21:50:36 +0200 | blanchet | compile | changeset | files |
| Mon, 26 Apr 2010 21:41:54 +0200 | blanchet | make compile (and not just load dynamically) | changeset | files |
| Mon, 26 Apr 2010 21:25:32 +0200 | blanchet | merge | changeset | files |
| Mon, 26 Apr 2010 21:20:43 +0200 | blanchet | introduced direct proof reconstruction code, eliminating the need for the "neg_clausify" method; | changeset | files |
| Mon, 26 Apr 2010 21:18:20 +0200 | blanchet | adapt code to reflect new signature of "neg_clausify" | changeset | files |
| Mon, 26 Apr 2010 21:17:41 +0200 | blanchet | rename options and keep track of conjecture shape (to facilitate proof reconstruction) | changeset | files |