| 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 |
| Tue, 05 Nov 2019 16:49:33 +0100 | wenzelm | more phabricator setup; | file | diff | annotate |
| Tue, 05 Nov 2019 14:28:00 +0100 | wenzelm | more options; | file | diff | annotate |
| Wed, 30 Oct 2019 21:14:57 +0100 | wenzelm | more packages; | file | diff | annotate |