Tue, 22 Feb 2022 12:23:21 +0100 | wenzelm | more robust startup wrt. VSCode workspace (by Fabian Huch); | changeset | files |
Tue, 22 Feb 2022 11:53:06 +0100 | wenzelm | various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); | changeset | files |
Tue, 22 Feb 2022 15:00:04 +0100 | blanchet | have Sledgehammer honor 'smt_nat_as_int' option | changeset | files |