src/Pure/Tools/plugin.ML
2015-03-31 wenzelm 2015-03-31 clarified role of naming for background theory: transform_binding (e.g. for "concealed" flag) uses naming of hypothetical context;
2014-12-17 blanchet 2014-12-17 tuning
2014-11-26 wenzelm 2014-11-26 renamed "pairself" to "apply2", in accordance to @{apply 2};
2014-10-13 wenzelm 2014-10-13 tuned signature;
2014-10-13 wenzelm 2014-10-13 tuned signature;
2014-10-13 wenzelm 2014-10-13 tuned signature;
2014-10-13 wenzelm 2014-10-13 clarified load order; tuned signature;
2014-10-13 wenzelm 2014-10-13 support for indirections (defined entries), e.g. relevant for quickcheck and its sub-plugins;
2014-10-13 wenzelm 2014-10-13 support for named plugins for definitional packages;