| Mon, 03 Feb 2025 13:17:37 +0100 | desharna | NEWS | changeset | files |
| Mon, 03 Feb 2025 13:04:55 +0100 | desharna | tuned whitespace | changeset | files |
| Mon, 03 Feb 2025 10:46:57 +0100 | desharna | added lemmas ex_terminating_rtranclp_strong and ex_terminating_rtranclp | changeset | files |
| Mon, 03 Feb 2025 10:04:59 +0100 | desharna | added lemma strict_partial_order_wfp_on_finite_set | changeset | files |
| 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 |