| Sun, 02 Feb 2025 21:53:08 +0100 | wenzelm | proper order of operations: archive before purge; | changeset | files |
| Sun, 02 Feb 2025 17:25:12 +0100 | wenzelm | more robust (see also 9601f5582f33); | changeset | files |
| Sun, 02 Feb 2025 17:11:45 +0100 | wenzelm | tuned spelling; | changeset | files |
| Sun, 02 Feb 2025 17:05:06 +0100 | wenzelm | clarified NEWS: not user-relevant; | changeset | files |
| Sun, 02 Feb 2025 16:04:09 +0100 | wenzelm | tuned documentation; | changeset | files |
| Sun, 02 Feb 2025 14:16:26 +0100 | wenzelm | clarified default of flatlaf.useNativeLibrary=false, for cross-platform GUI uniformity; | changeset | files |
| Sun, 02 Feb 2025 13:17:54 +0100 | wenzelm | just one flatlaf version: native libraries are optional; | changeset | files |
| Sun, 02 Feb 2025 12:11:03 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 02 Feb 2025 00:14:26 +0100 | Fabian Huch | merged | changeset | files |
| Sun, 02 Feb 2025 00:11:06 +0100 | Fabian Huch | clarified name; | changeset | files |
| Sun, 02 Feb 2025 00:08:41 +0100 | Fabian Huch | documentation about Build_Manager; | changeset | files |
| Sat, 01 Feb 2025 22:41:43 +0100 | Fabian Huch | tuned; | changeset | files |
| Sat, 01 Feb 2025 22:39:44 +0100 | Fabian Huch | use ssh host for default address; | changeset | files |
| Sat, 01 Feb 2025 22:31:19 +0100 | Fabian Huch | tuned; | changeset | files |
| Sat, 01 Feb 2025 22:30:09 +0100 | Fabian Huch | clarified option name; | changeset | files |
| Sat, 01 Feb 2025 22:28:32 +0100 | Fabian Huch | clarified options: extra ssh connection to cluster of build_manager; | changeset | files |
| Sat, 01 Feb 2025 22:20:42 +0100 | Fabian Huch | tuned output; | changeset | files |
| Sat, 01 Feb 2025 20:46:01 +0100 | Fabian Huch | tuned: more standard; | changeset | files |
| Sat, 01 Feb 2025 22:49:33 +0100 | wenzelm | merged; | changeset | files |
| Sat, 01 Feb 2025 22:41:05 +0100 | wenzelm | more NEWS; | changeset | files |
| 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 |