| Thu, 12 May 2011 15:29:19 +0200 | blanchet | added configuration options for experimental features | changeset | files |
| Thu, 12 May 2011 15:29:19 +0200 | blanchet | ensure type class predicates are generated in symbol declarations (for "poly_preds" and similar) | changeset | files |
| Thu, 12 May 2011 15:29:18 +0200 | blanchet | avoid "Empty" exception by making sure that a certain optimization only is attempted when it makes sense | changeset | files |