Wed, 23 Feb 2022 10:23:19 +0100 added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de> [Wed, 23 Feb 2022 10:23:19 +0100] rev 75133
added Isabelle output panel to VSCode extension;
Wed, 23 Feb 2022 16:28:37 +0000 Simplified a couple of extremely long and ugly apply-proofs
paulson <lp15@cam.ac.uk> [Wed, 23 Feb 2022 16:28:37 +0000] rev 75132
Simplified a couple of extremely long and ugly apply-proofs
Tue, 22 Feb 2022 21:34:29 +0100 merged
wenzelm [Tue, 22 Feb 2022 21:34:29 +0100] rev 75131
merged
Tue, 22 Feb 2022 21:34:12 +0100 some updates to README.md;
wenzelm [Tue, 22 Feb 2022 21:34:12 +0100] rev 75130
some updates to README.md;
Tue, 22 Feb 2022 21:33:24 +0100 refer to Isabelle settings via environment, which is provided via "isabelle vscode";
wenzelm [Tue, 22 Feb 2022 21:33:24 +0100] rev 75129
refer to Isabelle settings via environment, which is provided via "isabelle vscode"; clarified error handling;
Tue, 22 Feb 2022 21:30:39 +0100 more operations;
wenzelm [Tue, 22 Feb 2022 21:30:39 +0100] rev 75128
more operations;
Tue, 22 Feb 2022 12:23:21 +0100 more robust startup wrt. VSCode workspace (by Fabian Huch);
wenzelm [Tue, 22 Feb 2022 12:23:21 +0100] rev 75127
more robust startup wrt. VSCode workspace (by Fabian Huch);
Tue, 22 Feb 2022 11:53:06 +0100 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm [Tue, 22 Feb 2022 11:53:06 +0100] rev 75126
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
Tue, 22 Feb 2022 15:00:04 +0100 have Sledgehammer honor 'smt_nat_as_int' option
blanchet [Tue, 22 Feb 2022 15:00:04 +0100] rev 75125
have Sledgehammer honor 'smt_nat_as_int' option
Tue, 22 Feb 2022 12:45:14 +0100 more handling of Zipperposition definitions in Isar proof construction
blanchet [Tue, 22 Feb 2022 12:45:14 +0100] rev 75124
more handling of Zipperposition definitions in Isar proof construction
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 tip