Thu, 17 Feb 2022 19:40:30 +0100 | wenzelm | merged | changeset | files |
Thu, 17 Feb 2022 19:00:14 +0100 | wenzelm | setup VSCode from VSCodium distribution; | changeset | files |
Thu, 17 Feb 2022 12:22:47 +0100 | wenzelm | more robust package_dir, to increase chances that it works with IntelliJ IDEA; | changeset | files |
Wed, 16 Feb 2022 14:35:33 +0100 | desharna | NEWS | changeset | files |
Wed, 16 Feb 2022 14:24:05 +0100 | desharna | Mirabelle now considers goals preceding "unfolding" and "using" commands | changeset | files |
Tue, 15 Feb 2022 16:42:15 +0000 | paulson | merged | changeset | files |
Tue, 15 Feb 2022 13:00:05 +0000 | paulson | an assortment of new or stronger lemmas | changeset | files |