| Sat, 04 Jan 2025 23:14:10 +0100 | wenzelm | more robust defaults, notably for Ubuntu 24.04; | file | diff | annotate |
| Sat, 04 Jan 2025 21:33:08 +0100 | wenzelm | more robust: ensure that /run/sshd is present, which is required for ExecStartPre phase; | file | diff | annotate |
| Sat, 04 Jan 2025 20:59:41 +0100 | wenzelm | some support for Ubuntu 24.04; | file | diff | annotate |
| Sat, 04 Jan 2025 15:09:47 +0100 | wenzelm | update NEWS / documentation / descriptions for Phorge (formerly Phabricator); | file | diff | annotate |
| Fri, 28 Jun 2024 23:53:25 +0200 | wenzelm | tuned output; | file | diff | annotate |
| Sat, 01 Jun 2024 12:31:06 +0200 | wenzelm | clarified signature: prefer symbolic isabelle.Path over physical java.io.File; | file | diff | annotate |