isabelle: Changelog

nipkow [Thu, 14 Nov 2019 13:48:36 +0100] rev 71121

merged

nipkow [Thu, 14 Nov 2019 11:54:52 +0100] rev 71120

tuned tags

wenzelm [Thu, 14 Nov 2019 12:42:06 +0100] rev 71119

more portable;

wenzelm [Thu, 14 Nov 2019 11:49:54 +0100] rev 71118

updated to polyml-5.8.1-20191114: rebuilt on Windows with current msys2/mingw64;

wenzelm [Thu, 14 Nov 2019 11:43:46 +0100] rev 71117

updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems with address relocation;

wenzelm [Thu, 14 Nov 2019 11:40:55 +0100] rev 71116

tuned;

wenzelm [Thu, 14 Nov 2019 11:36:14 +0100] rev 71115

tuned;

wenzelm [Thu, 14 Nov 2019 11:35:02 +0100] rev 71114

clarified signature;

wenzelm [Wed, 13 Nov 2019 20:21:05 +0100] rev 71113

updated to polyml-5.8.1-20191113 test version (Poly/ML 67e87c763417);

wenzelm [Wed, 13 Nov 2019 19:40:44 +0100] rev 71112

more support for multiple daemons;

isabelle