isabelle: Changelog

traytel [Wed, 06 Nov 2019 16:38:58 +0100] rev 71062

merged

traytel [Wed, 06 Nov 2019 09:25:53 +0100] rev 71061

characterization of until in terms of strong until (and vice versa), contributed by Michael Foster

nipkow [Wed, 06 Nov 2019 11:08:10 +0100] rev 71060

tuned toc

wenzelm [Tue, 05 Nov 2019 22:56:06 +0100] rev 71059

merged

wenzelm [Tue, 05 Nov 2019 22:55:50 +0100] rev 71058

proper names for multiple installations;

wenzelm [Tue, 05 Nov 2019 22:44:51 +0100] rev 71057

more phabricator setup;

wenzelm [Tue, 05 Nov 2019 22:08:15 +0100] rev 71056

proper service name (again): it is specific to each installation;

wenzelm [Tue, 05 Nov 2019 22:06:16 +0100] rev 71055

back to plain name, to have it accepted my mysql;

wenzelm [Tue, 05 Nov 2019 22:00:29 +0100] rev 71054

prefer system user setup, e.g. avoid occurrence on login screen;

wenzelm [Tue, 05 Nov 2019 21:43:51 +0100] rev 71053

more robust: install PHP daemon after Apache;

isabelle