| Wed, 30 Sep 2020 23:31:18 +0200 | wenzelm | clarified signature; | changeset | files |
| Wed, 30 Sep 2020 23:08:57 +0200 | wenzelm | merged | changeset | files |
| Wed, 30 Sep 2020 22:59:33 +0200 | wenzelm | updated to sqlite-jdbc-3.32.3.2; | changeset | files |
| Wed, 30 Sep 2020 22:55:35 +0200 | wenzelm | build Isabelle sqlite-jdbc component from official download; | changeset | files |