Mon, 16 Dec 2024 21:08:43 +0100 more simp rules on word conversions
haftmann [Mon, 16 Dec 2024 21:08:43 +0100] rev 81609
more simp rules on word conversions
Mon, 16 Dec 2024 19:22:54 +0100 spelling;
wenzelm [Mon, 16 Dec 2024 19:22:54 +0100] rev 81608
spelling;
Mon, 16 Dec 2024 19:09:14 +0100 update to xz-java-1.10;
wenzelm [Mon, 16 Dec 2024 19:09:14 +0100] rev 81607
update to xz-java-1.10;
Mon, 16 Dec 2024 13:55:26 +0100 update to zstd-jni-1.5.6-8;
wenzelm [Mon, 16 Dec 2024 13:55:26 +0100] rev 81606
update to zstd-jni-1.5.6-8;
Mon, 16 Dec 2024 13:51:32 +0100 update to sqlite-3.47.1.0;
wenzelm [Mon, 16 Dec 2024 13:51:32 +0100] rev 81605
update to sqlite-3.47.1.0; enforce rebuild of Isabelle/Scala and Isabelle/ML;
Mon, 16 Dec 2024 13:32:36 +0100 updated to postgresql-42.7.4;
wenzelm [Mon, 16 Dec 2024 13:32:36 +0100] rev 81604
updated to postgresql-42.7.4; enforce rebuild of Isabelle/Scala and Isabelle/ML;
Mon, 16 Dec 2024 13:13:05 +0100 update to llncs-2.25;
wenzelm [Mon, 16 Dec 2024 13:13:05 +0100] rev 81603
update to llncs-2.25;
Mon, 16 Dec 2024 13:08:32 +0100 update to jsoup-1.18.3;
wenzelm [Mon, 16 Dec 2024 13:08:32 +0100] rev 81602
update to jsoup-1.18.3; enforce rebuild of Isabelle/Scala;
Mon, 16 Dec 2024 12:55:39 +0100 clarified signature;
wenzelm [Mon, 16 Dec 2024 12:55:39 +0100] rev 81601
clarified signature;
Sun, 15 Dec 2024 22:58:48 +0100 tuned proofs;
wenzelm [Sun, 15 Dec 2024 22:58:48 +0100] rev 81600
tuned proofs; tuned whitespace;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 tip