isabelle: Changelog

wenzelm [Wed, 06 Jan 2016 00:04:15 +0100] rev 62075

added ML antiquotation @{method};

wenzelm [Tue, 05 Jan 2016 23:28:43 +0100] rev 62074

tuned;

wenzelm [Tue, 05 Jan 2016 22:50:43 +0100] rev 62073

tuned;

wenzelm [Tue, 05 Jan 2016 21:57:21 +0100] rev 62072

isabelle update_cartouches -c -t;

wenzelm [Tue, 05 Jan 2016 21:55:40 +0100] rev 62071

merged

wenzelm [Tue, 05 Jan 2016 21:55:34 +0100] rev 62070

more realistic Eisbach method invocation from ML; misc tuning and clarification;

wenzelm [Tue, 05 Jan 2016 17:20:56 +0100] rev 62069

unused;

wenzelm [Tue, 05 Jan 2016 17:14:34 +0100] rev 62068

more robust event propagation;

eberlm [Tue, 05 Jan 2016 20:23:49 +0100] rev 62067

Fixed sectioning in HOL/Library/Polynomial

eberlm [Tue, 05 Jan 2016 17:54:21 +0100] rev 62066

Merged

isabelle