src/Pure/Tools/plugin.ML
Mon, 13 Oct 2014 22:43:29 +0200 wenzelm tuned signature;
Mon, 13 Oct 2014 21:46:41 +0200 wenzelm tuned signature;
Mon, 13 Oct 2014 21:41:29 +0200 wenzelm tuned signature;
Mon, 13 Oct 2014 19:34:10 +0200 wenzelm clarified load order;
Mon, 13 Oct 2014 17:04:25 +0200 wenzelm support for indirections (defined entries), e.g. relevant for quickcheck and its sub-plugins;
Mon, 13 Oct 2014 15:45:23 +0200 wenzelm support for named plugins for definitional packages;
less more (0) tip