| 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 |
| Mon, 27 Sep 2010 09:14:39 +0200 | blanchet | remove needless flag | changeset | files |
| Mon, 27 Sep 2010 11:12:08 +0200 | haftmann | added hint on reference equality | changeset | files |