isabelle: Changelog

wenzelm [Mon, 13 Oct 2014 21:57:40 +0200] rev 58667

merged

wenzelm [Mon, 13 Oct 2014 21:46:41 +0200] rev 58666

tuned signature;

wenzelm [Mon, 13 Oct 2014 21:41:29 +0200] rev 58665

tuned signature;

wenzelm [Mon, 13 Oct 2014 20:51:48 +0200] rev 58664

obsolete;

wenzelm [Mon, 13 Oct 2014 20:29:30 +0200] rev 58663

module Interpretation is superseded by Plugin;

wenzelm [Mon, 13 Oct 2014 20:25:10 +0200] rev 58662

module Interpretation is superseded by Plugin;

wenzelm [Mon, 13 Oct 2014 20:24:24 +0200] rev 58661

module Interpretation is superseded by Plugin;

wenzelm [Mon, 13 Oct 2014 19:34:10 +0200] rev 58660

clarified load order; tuned signature;

wenzelm [Mon, 13 Oct 2014 18:45:48 +0200] rev 58659

Local_Interpretation is superseded by Plugin with formal Plugin_Name management, avoiding undeclared strings;

wenzelm [Mon, 13 Oct 2014 17:04:25 +0200] rev 58658

support for indirections (defined entries), e.g. relevant for quickcheck and its sub-plugins;

isabelle