Thu, 30 Sep 2010 00:29:37 +0200 | blanchet | move functions closer to where they're used | changeset | files |
Thu, 30 Sep 2010 00:12:11 +0200 | blanchet | Skolemizer tweaking | changeset | files |
Wed, 29 Sep 2010 23:55:14 +0200 | blanchet | "meson_new_skolemizer" -> "metis_new_skolemizer" option (since Meson doesn't support the new skolemizer (yet)) | changeset | files |