| Tue, 05 Nov 2019 21:43:51 +0100 | wenzelm | more robust: install PHP daemon after Apache; | changeset | files |
| Tue, 05 Nov 2019 21:27:55 +0100 | wenzelm | clarified name prefixes: global config always uses "isabelle-phabricator"; | changeset | files |
| Tue, 05 Nov 2019 20:47:15 +0100 | wenzelm | more phabricator setup; | changeset | files |