| Mon, 03 Feb 2025 18:22:33 +0000 |
paulson |
merged
|
changeset |
files
|
| Mon, 03 Feb 2025 18:22:25 +0000 |
paulson |
nat_diff_split lemmas
|
changeset |
files
|
| 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
Isabelle2025-RC1
|
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
|
| 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
|