isabelle: Changelog

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;

wenzelm [Wed, 13 Nov 2019 18:30:43 +0100] rev 71111

more robust: system ssh service is required for Phabricator ssh service;

wenzelm [Wed, 13 Nov 2019 17:34:35 +0100] rev 71110

removed obsolete material: already covered by documentation or tools;

wenzelm [Wed, 13 Nov 2019 17:33:59 +0100] rev 71109

configure SSH hosting via "isabelle phabricator_setup_ssh"; tuned message;

wenzelm [Wed, 13 Nov 2019 16:50:48 +0100] rev 71108

more robust;

wenzelm [Wed, 13 Nov 2019 13:28:58 +0100] rev 71107

clarified signature; more operations;

wenzelm [Tue, 12 Nov 2019 22:16:00 +0100] rev 71106

removed obsolete material -- already covered by "system" manual; tuned;

wenzelm [Tue, 12 Nov 2019 22:15:21 +0100] rev 71105

tuned;

wenzelm [Tue, 12 Nov 2019 19:47:44 +0100] rev 71104

merged

isabelle