| Mon, 13 Oct 2014 19:34:10 +0200 | wenzelm | clarified load order; | changeset | files |
| Mon, 13 Oct 2014 18:45:48 +0200 | wenzelm | Local_Interpretation is superseded by Plugin with formal Plugin_Name management, avoiding undeclared strings; | changeset | files |
| Mon, 13 Oct 2014 17:04:25 +0200 | wenzelm | support for indirections (defined entries), e.g. relevant for quickcheck and its sub-plugins; | changeset | files |