isabelle: Changelog

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;

wenzelm [Tue, 05 Nov 2019 21:27:55 +0100] rev 71052

clarified name prefixes: global config always uses "isabelle-phabricator";

wenzelm [Tue, 05 Nov 2019 20:47:15 +0100] rev 71051

more phabricator setup;

wenzelm [Tue, 05 Nov 2019 17:32:40 +0100] rev 71050

more phabricator setup;

wenzelm [Tue, 05 Nov 2019 16:49:33 +0100] rev 71049

more phabricator setup;

wenzelm [Tue, 05 Nov 2019 16:47:59 +0100] rev 71048

support for system services;

wenzelm [Tue, 05 Nov 2019 14:28:00 +0100] rev 71047

more options;

wenzelm [Tue, 05 Nov 2019 14:16:16 +0100] rev 71046

support for Linux user management;

isabelle