| Mon, 16 Dec 2024 13:55:26 +0100 | wenzelm | update to zstd-jni-1.5.6-8; | changeset | files |
| Mon, 16 Dec 2024 13:51:32 +0100 | wenzelm | update to sqlite-3.47.1.0; | changeset | files |
| Mon, 16 Dec 2024 13:32:36 +0100 | wenzelm | updated to postgresql-42.7.4; | changeset | files |
| Mon, 16 Dec 2024 13:13:05 +0100 | wenzelm | update to llncs-2.25; | changeset | files |
| Mon, 16 Dec 2024 13:08:32 +0100 | wenzelm | update to jsoup-1.18.3; | changeset | files |
| Mon, 16 Dec 2024 12:55:39 +0100 | wenzelm | clarified signature; | changeset | files |
| Sun, 15 Dec 2024 22:58:48 +0100 | wenzelm | tuned proofs; | changeset | files |
| Sun, 15 Dec 2024 21:39:43 +0100 | wenzelm | avoid duplicate markup, notably from "CONST c"; | changeset | files |