| Tue, 05 Nov 2019 22:08:15 +0100 | wenzelm | proper service name (again): it is specific to each installation; | file | diff | annotate |
| Tue, 05 Nov 2019 22:06:16 +0100 | wenzelm | back to plain name, to have it accepted my mysql; | file | diff | annotate |
| Tue, 05 Nov 2019 22:00:29 +0100 | wenzelm | prefer system user setup, e.g. avoid occurrence on login screen; | file | diff | annotate |
| Tue, 05 Nov 2019 21:43:51 +0100 | wenzelm | more robust: install PHP daemon after Apache; | file | diff | annotate |
| Tue, 05 Nov 2019 21:27:55 +0100 | wenzelm | clarified name prefixes: global config always uses "isabelle-phabricator"; | file | diff | annotate |
| Tue, 05 Nov 2019 20:47:15 +0100 | wenzelm | more phabricator setup; | file | diff | annotate |
| Tue, 05 Nov 2019 17:32:40 +0100 | wenzelm | more phabricator setup; | file | diff | annotate |