Fri, 04 Jun 2010 16:53:08 +0200 | blanchet | "print_vars_terms" wasn't doing its job properly; | changeset | files |
Fri, 04 Jun 2010 15:43:02 +0200 | blanchet | merged | changeset | files |
Fri, 04 Jun 2010 15:41:27 +0200 | blanchet | made "clausify" attribute a legacy feature; | changeset | files |