isabelle: Changelog

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

nipkow [Sun, 27 Nov 2011 13:31:52 +0100] rev 45655

simplified Collecting1 and renamed: step -> step', step_cs -> step

wenzelm [Sun, 27 Nov 2011 23:10:19 +0100] rev 45654

more antiquotations;

wenzelm [Sun, 27 Nov 2011 23:06:59 +0100] rev 45653

tuned proof;

wenzelm [Sun, 27 Nov 2011 22:20:07 +0100] rev 45652

permissive update for improved "tool compliance"; tuned;

wenzelm [Sun, 27 Nov 2011 22:03:22 +0100] rev 45651

just one data slot per module; tuned;

isabelle