| Sun, 12 Jan 2020 22:54:42 +0100 | wenzelm | updated to sqlite-jdbc-3.30.1; | changeset | files |
| Sun, 12 Jan 2020 22:21:40 +0100 | wenzelm | updated to postgresql-42.2.9; | changeset | files |
| Sun, 12 Jan 2020 21:35:56 +0100 | wenzelm | build in $ISABELLE_HOME; | changeset | files |