| Sat, 01 Feb 2025 22:13:49 +0100 | wenzelm | updated to flatlaf-3.5.4, with fallback on 2.6 for arm64-linux; | changeset | files |
| Sat, 01 Feb 2025 20:05:06 +0100 | wenzelm | update naproche-20250201: rebuilt executables (just one copy), provide most PDFs; | changeset | files |
| Sat, 01 Feb 2025 19:29:54 +0100 | Fabian Huch | tuned whitespace; | changeset | files |
| Sat, 01 Feb 2025 19:23:08 +0100 | Fabian Huch | documentation about Find_Facts; | changeset | files |
| Sat, 01 Feb 2025 18:29:07 +0100 | Fabian Huch | more standard: let OS pick random port by default; | changeset | files |
| Sat, 01 Feb 2025 15:00:39 +0100 | Fabian Huch | clarified platforms; | changeset | files |
| Fri, 31 Jan 2025 23:03:45 +0100 | wenzelm | tuned NEWS; | changeset | files |
| Fri, 31 Jan 2025 17:01:52 +0100 | Lukas Stevens | merged | changeset | files |