| Mon, 20 Sep 2010 11:51:19 +0200 | blanchet | merge tracing of two related modules | changeset | files |
| Mon, 20 Sep 2010 10:29:29 +0200 | blanchet | merged | changeset | files |
| Sat, 18 Sep 2010 10:43:52 +0200 | blanchet | preprocess "All" before doing clausification in Metis; | changeset | files |
| Fri, 17 Sep 2010 17:02:34 +0200 | blanchet | reorder proof methods and take out "best"; | changeset | files |
| Mon, 20 Sep 2010 09:26:24 +0200 | bulwahn | renaming variable name to decrease likelyhood of nameclash | changeset | files |
| Mon, 20 Sep 2010 09:26:20 +0200 | bulwahn | code_pred_intro can be used to name facts for the code_pred command | changeset | files |
| Mon, 20 Sep 2010 09:26:19 +0200 | bulwahn | replacing temporary hack by checking for environment settings of the component | changeset | files |
| Mon, 20 Sep 2010 09:26:18 +0200 | bulwahn | removing unnessary options for code_pred | changeset | files |