| Mon, 27 Sep 2010 12:23:00 +0200 | bulwahn | adding further tracing messages; tuned | changeset | files |
| Mon, 27 Sep 2010 12:22:57 +0200 | bulwahn | handling nested cases more elegant by requiring less new constants | changeset | files |
| Mon, 27 Sep 2010 12:01:04 +0200 | blanchet | merged | changeset | files |
| Mon, 27 Sep 2010 12:00:53 +0200 | blanchet | renamed function | changeset | files |
| Mon, 27 Sep 2010 10:44:08 +0200 | blanchet | rename "Clausifier" to "Meson_Clausifier" and merge with "Meson_Tactic" | changeset | files |
| Mon, 27 Sep 2010 09:17:24 +0200 | blanchet | comment out Auto Try until issues are resolved (automatically on by default even though the code says off; thread that continues in the background) | changeset | files |