| Fri, 24 Jan 2025 19:54:43 +0100 | wenzelm | update versions for release -- one behind current jedit-5.7.0; | changeset | files |
| Fri, 24 Jan 2025 19:35:55 +0100 | wenzelm | more explicit system dependencies; | changeset | files |
| Fri, 24 Jan 2025 19:25:31 +0100 | wenzelm | proper executable from "isabelle ocaml_opam env"; | changeset | files |
| Fri, 24 Jan 2025 14:35:47 +0100 | wenzelm | update to postgresql-42.7.5; | changeset | files |
| Fri, 24 Jan 2025 13:06:29 +0100 | wenzelm | update to jdk-21.0.6; | changeset | files |
| Fri, 24 Jan 2025 11:17:32 +0100 | wenzelm | update for release; | changeset | files |
| Fri, 24 Jan 2025 10:56:59 +0100 | wenzelm | misc tuning for release; | changeset | files |
| Fri, 24 Jan 2025 10:48:28 +0100 | wenzelm | more NEWS; | changeset | files |