| Thu, 09 Mar 2023 12:13:01 +0100 | wenzelm | more robust transactions; | changeset | files |
| Thu, 09 Mar 2023 11:55:20 +0100 | wenzelm | clarified signature; | changeset | files |
| 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 |
| Wed, 08 Mar 2023 22:40:15 +0100 | wenzelm | proper shasum lines (amending 3070001c9d1f); | changeset | files |
| Wed, 08 Mar 2023 22:22:35 +0100 | wenzelm | more robust transactions; | changeset | files |