src/Pure/Tools/plugin.ML
2014-12-17 ago tuning
2014-11-26 ago renamed "pairself" to "apply2", in accordance to @{apply 2};
2014-10-13 ago tuned signature;
2014-10-13 ago tuned signature;
2014-10-13 ago tuned signature;
2014-10-13 ago clarified load order;
2014-10-13 ago support for indirections (defined entries), e.g. relevant for quickcheck and its sub-plugins;
2014-10-13 ago support for named plugins for definitional packages;