isabelle: Changelog

wenzelm [Mon, 28 Nov 2011 20:39:08 +0100] rev 45665

renamed Isabelle_Markup to Isabelle_Rendering to emphasize its meaning and make room for Pure Isabelle_Markup module;

wenzelm [Mon, 28 Nov 2011 20:31:53 +0100] rev 45664

tuned signature (according to ML version);

nipkow [Mon, 28 Nov 2011 18:08:07 +0100] rev 45663

merged

nipkow [Mon, 28 Nov 2011 11:22:36 +0100] rev 45662

Hide Product_Type.Times - too precious an identifier

wenzelm [Mon, 28 Nov 2011 17:06:29 +0100] rev 45661

more antiquotations;

wenzelm [Mon, 28 Nov 2011 17:06:20 +0100] rev 45660

tuned messages;

wenzelm [Mon, 28 Nov 2011 17:05:41 +0100] rev 45659

avoid stepping outside of context -- plain zero_var_indexes should be sufficient;

bulwahn [Mon, 28 Nov 2011 12:13:27 +0100] rev 45658

increasing timeout to avoid test failures

wenzelm [Sun, 27 Nov 2011 23:12:03 +0100] rev 45657

merged

nipkow [Sun, 27 Nov 2011 13:32:20 +0100] rev 45656

merged

isabelle