| 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 |
| Sun, 15 Dec 2024 21:15:18 +0100 | wenzelm | clarified pretty_entity for syntax consts without mixfix annotation (see also 43c4817375bf and d622145603ee); | changeset | files |
| Sun, 15 Dec 2024 20:22:29 +0100 | wenzelm | tuned; | changeset | files |