| Tue, 05 Oct 2010 11:10:37 +0200 | blanchet | factor out "ATP" from "Sledgehammer" (cf. "SAT" vs. "Refute", etc.) -- the theories now reflect the directory structure | changeset | files |
| Tue, 05 Oct 2010 10:59:12 +0200 | blanchet | got rid of overkill "meson_choice" attribute; | changeset | files |
| Tue, 05 Oct 2010 10:30:50 +0200 | blanchet | more explicit name | changeset | files |
| Tue, 05 Oct 2010 10:28:11 +0200 | blanchet | factor out "Meson_Tactic" from "Meson_Clausify" | changeset | files |
| Mon, 04 Oct 2010 22:51:53 +0200 | blanchet | tuning | changeset | files |
| Mon, 04 Oct 2010 22:45:09 +0200 | blanchet | move Metis into Plain | changeset | files |
| Mon, 04 Oct 2010 22:01:34 +0200 | blanchet | added "Meson" theory to Makefile | changeset | files |