isabelle: Changelog

wenzelm [Tue, 22 Dec 2015 17:41:46 +0100] rev 61912

more standard nesting of sub-language: Parse.text allows atomic entities without quotes;

wenzelm [Tue, 22 Dec 2015 17:14:35 +0100] rev 61911

proper full name within the name space of the method definition;

wenzelm [Tue, 22 Dec 2015 16:35:41 +0100] rev 61910

tuned signature; tuned;

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;

isabelle