| Wed, 12 Dec 2012 19:03:49 +0100 | wenzelm | merged | changeset | files |
| 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 |
| Wed, 12 Dec 2012 16:28:18 +0100 | wenzelm | prevent dedicated MacOSX plugin from switching off vital workarounds; | changeset | files |
| Wed, 12 Dec 2012 14:54:48 +0100 | wenzelm | improved coupling of zoom_box and scale; | changeset | files |