Wed, 08 Mar 2023 22:43:04 +0100 | wenzelm | enforce rebuild of Isabelle/ML; | changeset | files |
Wed, 08 Mar 2023 22:42:21 +0100 | wenzelm | proper test (amending 32f9e75c92e9); | changeset | files |
Wed, 08 Mar 2023 22:40:47 +0100 | wenzelm | updated to sqlite-jdbc-3.41.0.0; | changeset | files |