| Mon, 13 Oct 2014 20:51:48 +0200 | wenzelm | obsolete; | changeset | files |
| Mon, 13 Oct 2014 20:29:30 +0200 | wenzelm | module Interpretation is superseded by Plugin; | changeset | files |
| Mon, 13 Oct 2014 20:25:10 +0200 | wenzelm | module Interpretation is superseded by Plugin; | changeset | files |
| Mon, 13 Oct 2014 20:24:24 +0200 | wenzelm | module Interpretation is superseded by Plugin; | changeset | files |
| 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 |