| Mon, 15 Jan 2024 22:50:13 +0100 | nipkow | Added time function automation | changeset | files |
| Sun, 14 Jan 2024 20:02:58 +0000 | haftmann | streamlined type class specification | changeset | files |
| Sun, 14 Jan 2024 20:02:55 +0000 | haftmann | consolidated lemma name | changeset | files |
| Sun, 14 Jan 2024 20:55:58 +0100 | wenzelm | support Phabricator on Ubuntu 22.04 LTS with PHP 8.1, using community form we.phorge.it version "2023 week 49"; | changeset | files |
| Sun, 14 Jan 2024 13:59:13 +0100 | wenzelm | merged | changeset | files |
| Sun, 14 Jan 2024 13:14:35 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 14 Jan 2024 13:13:26 +0100 | wenzelm | update links; | changeset | files |
| Sat, 13 Jan 2024 21:51:51 +0100 | wenzelm | follow post-maintenance updates of original Phabricator, as base-line for Phorge; | changeset | files |