Tue, 22 Feb 2022 11:53:06 +0100 | wenzelm | various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch); | file | diff | annotate |
Wed, 07 Apr 2021 18:05:48 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Mon, 01 Mar 2021 22:22:12 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
Sun, 10 Jan 2021 13:04:29 +0100 | wenzelm | more informative errors: simplify diagnosis of spurious failures reported by users; | file | diff | annotate |
Sat, 28 Nov 2020 20:14:46 +0100 | wenzelm | avoid conflicting base names; | file | diff | annotate | base |