isabelle: Changelog

wenzelm [Thu, 14 Nov 2019 13:41:50 +0100] rev 71124

just one isabelle-phabricator-phd service, which manages all processes uniformly (NB: "bin/phd stop" affects all installations);

wenzelm [Thu, 14 Nov 2019 13:40:21 +0100] rev 71123

clarified signature: allow compound arg;

wenzelm [Thu, 14 Nov 2019 13:20:09 +0100] rev 71122

clarified signature;

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;

isabelle