isabelle: Changelog

wenzelm [Mon, 25 Nov 2019 12:41:52 +0100] rev 71164

tuned;

wenzelm [Mon, 25 Nov 2019 12:19:14 +0100] rev 71163

tuned -- avoid deprecated constructors;

wenzelm [Mon, 25 Nov 2019 12:16:26 +0100] rev 71162

tuned signature;

wenzelm [Mon, 25 Nov 2019 10:58:15 +0100] rev 71161

avoid vacuous session Pure -- dump does not read_pure_theory;

wenzelm [Sun, 24 Nov 2019 22:54:42 +0100] rev 71160

updated to polyml-5.8.1-20191113 test version (Poly/ML 055f20cdc326);

wenzelm [Sun, 24 Nov 2019 15:45:32 +0100] rev 71159

clarified vacuous selection vs. Pure;

wenzelm [Sun, 24 Nov 2019 15:31:28 +0100] rev 71158

tuned signature;

haftmann [Sat, 23 Nov 2019 09:56:11 +0000] rev 71157

tuned theory structure

wenzelm [Sat, 23 Nov 2019 16:02:42 +0100] rev 71156

more robust: size varies due to different position information in "isabelle build" vs. "isabelle dump";

wenzelm [Sat, 23 Nov 2019 14:48:44 +0100] rev 71155

clarified signature;

isabelle