isabelle: Changelog

wenzelm [Tue, 22 Dec 2015 16:34:57 +0100] rev 61909

isabelle update_cartouches -c -t;

paulson <lp15@cam.ac.uk> [Tue, 22 Dec 2015 14:41:35 +0000] rev 61908

Merge

paulson <lp15@cam.ac.uk> [Tue, 22 Dec 2015 14:33:34 +0000] rev 61907

Liouville theorem, Fundamental Theorem of Algebra, etc.

hoelzl [Tue, 22 Dec 2015 15:21:31 +0100] rev 61906

Weierstrass: whitespace

wenzelm [Tue, 22 Dec 2015 14:31:39 +0100] rev 61905

merged

wenzelm [Tue, 22 Dec 2015 14:26:35 +0100] rev 61904

more thorough event propagation;

wenzelm [Tue, 22 Dec 2015 14:23:39 +0100] rev 61903

tuned -- with subtle change of order of evaluation;

wenzelm [Tue, 22 Dec 2015 14:20:17 +0100] rev 61902

more accurate lookup of dynamic facts;

wenzelm [Tue, 22 Dec 2015 11:25:21 +0100] rev 61901

tuned;

wenzelm [Tue, 22 Dec 2015 10:58:05 +0100] rev 61900

tuned;

isabelle