isabelle: Changelog

blanchet [Wed, 21 Dec 2016 13:35:58 +0100] rev 64628

export ML function (towards nonuniform datatypes)

blanchet [Wed, 21 Dec 2016 12:49:15 +0100] rev 64627

generalized ML function (towards nonuniform datatypes)

blanchet [Wed, 21 Dec 2016 11:45:16 +0100] rev 64626

generalized ML function (towards nonuniform datatypes)

blanchet [Wed, 21 Dec 2016 11:14:55 +0100] rev 64625

merge

blanchet [Wed, 21 Dec 2016 11:14:37 +0100] rev 64624

renamed confusing variable names

wenzelm [Tue, 20 Dec 2016 22:32:04 +0100] rev 64623

clarified module name;

wenzelm [Tue, 20 Dec 2016 22:24:16 +0100] rev 64622

more uniform rendering for Isabelle/jEdit and Isabelle/VSCode;

wenzelm [Tue, 20 Dec 2016 21:35:56 +0100] rev 64621

clarified module name;

wenzelm [Tue, 20 Dec 2016 18:11:42 +0100] rev 64620

merged

wenzelm [Tue, 20 Dec 2016 17:46:44 +0100] rev 64619

proper reset of column (amending 01e50039edc9);

isabelle