| Mon, 23 Mar 2015 19:43:03 +0100 | wenzelm | local fixes may depend on goal params; | changeset | files |
| Mon, 23 Mar 2015 17:07:43 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 23 Mar 2015 17:01:47 +0100 | wenzelm | clarified syntax category "fixes"; | changeset | files |