| Fri, 29 Oct 2010 12:49:05 +0200 | blanchet | fix cluster numbering in the absense of Hilbert_Choice (reverts acde1b606b0e, effectively reintroducing most of 0bfaaa81fc62) | file | diff | annotate |
| Wed, 06 Oct 2010 17:44:07 +0200 | blanchet | qualify "Meson." and "Metis." constants so that the ML files can be reloaded later (e.g. for testing/development) | file | diff | annotate |
| Tue, 05 Oct 2010 10:59:12 +0200 | blanchet | got rid of overkill "meson_choice" attribute; | file | diff | annotate |
| Tue, 05 Oct 2010 10:30:50 +0200 | blanchet | more explicit name | file | diff | annotate |
| Tue, 05 Oct 2010 10:28:11 +0200 | blanchet | factor out "Meson_Tactic" from "Meson_Clausify" | file | diff | annotate |
| Mon, 04 Oct 2010 21:49:07 +0200 | blanchet | move Meson to Plain | file | diff | annotate |
| Mon, 04 Oct 2010 21:37:42 +0200 | blanchet | move MESON files together | file | diff | annotate | base |