| Sat, 11 Mar 2023 11:14:24 +0100 | wenzelm | do not export connection details (password etc.); | changeset | files |
| Sat, 11 Mar 2023 11:13:53 +0100 | wenzelm | support option tags; | changeset | files |
| Fri, 10 Mar 2023 15:27:18 +0100 | blanchet | use simplifier to classify the missing assumptions in Sledgehammer's abduction mechanism | changeset | files |
| Fri, 10 Mar 2023 11:56:52 +0100 | blanchet | don't try to falisfy goals with schematics | changeset | files |
| Thu, 09 Mar 2023 14:29:46 +0100 | wenzelm | enforce rebuild of Isabelle/ML; | changeset | files |
| Thu, 09 Mar 2023 12:55:00 +0100 | wenzelm | more robust transactions; | changeset | files |
| Thu, 09 Mar 2023 12:54:19 +0100 | wenzelm | proper support for Option[Date] columns; | changeset | files |
| Thu, 09 Mar 2023 12:13:01 +0100 | wenzelm | more robust transactions; | changeset | files |