| Wed, 12 Dec 2012 15:38:47 +0100 | blanchet | further fix related to bd9a0028b063 -- that change was per se right, but it exposed a bug in the pattern for "all" | changeset | files |
| Wed, 12 Dec 2012 15:25:17 +0100 | blanchet | better tautology check -- don't reject "prod_cases3" for example | changeset | files |
| Wed, 12 Dec 2012 13:42:14 +0100 | blanchet | tuned debugging file names | changeset | files |
| Wed, 12 Dec 2012 17:44:10 +0100 | wenzelm | more systematic identifier variants to facilitate experimentation; | changeset | files |