| 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 |