desharna [Wed, 23 Feb 2022 08:43:44 +0100] rev 75300
avoided recomputation in Cooper.djf and ran `isabelle regenerate_cooper`
Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de> [Mon, 14 Mar 2022 07:12:48 +0100] rev 75299
split veriT reconstruction into Lethe and veriTÂ part
wenzelm [Tue, 22 Mar 2022 19:08:47 +0100] rev 75298
clarified options;
wenzelm [Tue, 22 Mar 2022 18:56:28 +0100] rev 75297
more robust errors -- on foreground process instead of background server;
wenzelm [Tue, 22 Mar 2022 18:52:27 +0100] rev 75296
clarified options -l vs. -R;
wenzelm [Tue, 22 Mar 2022 18:12:58 +0100] rev 75295
command-line arguments for "isabelle vscode", similar to "isabelle jedit";
wenzelm [Tue, 22 Mar 2022 16:49:18 +0100] rev 75294
proper command-line tool;
wenzelm [Tue, 22 Mar 2022 13:05:01 +0100] rev 75293
support console output, e.g. "isabelle vscode -C -- --help";
wenzelm [Tue, 22 Mar 2022 12:48:27 +0100] rev 75292
run Isabelle/VSCode via Scala;
wenzelm [Mon, 21 Mar 2022 11:55:51 +0100] rev 75291
clarified module name;
wenzelm [Mon, 21 Mar 2022 11:40:11 +0100] rev 75290
clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm [Mon, 21 Mar 2022 10:56:29 +0100] rev 75289
incorporate build_grammar into build_vscode_extension;
wenzelm [Mon, 21 Mar 2022 10:32:24 +0100] rev 75288
removed old generated file;
paulson <lp15@cam.ac.uk> [Wed, 16 Mar 2022 16:14:22 +0000] rev 75287
Tidied several ugly proofs in some elderly examples
wenzelm [Tue, 15 Mar 2022 14:15:11 +0100] rev 75286
tuned message;
wenzelm [Tue, 15 Mar 2022 14:03:56 +0100] rev 75285
clarified errors;
wenzelm [Tue, 15 Mar 2022 13:22:37 +0100] rev 75284
tuned messages;
wenzelm [Tue, 15 Mar 2022 13:16:13 +0100] rev 75283
support Node.js as well, reusing the engine from Electron/VSCodium;
wenzelm [Tue, 15 Mar 2022 13:13:05 +0100] rev 75282
updated to vscode 1.65.2;
wenzelm [Tue, 15 Mar 2022 13:11:53 +0100] rev 75281
proper result check;
wenzelm [Mon, 14 Mar 2022 21:57:17 +0100] rev 75280
merged
wenzelm [Mon, 14 Mar 2022 21:56:46 +0100] rev 75279
clarified directory layout and settings: more robust on all platforms;
wenzelm [Mon, 14 Mar 2022 16:09:25 +0100] rev 75278
tuned;
wenzelm [Mon, 14 Mar 2022 16:03:15 +0100] rev 75277
support Electron application framework;
clarified vscodium startup;
desharna [Fri, 11 Mar 2022 11:19:38 +0100] rev 75276
generated lemma map_ident_strong for BNFs
desharna [Fri, 11 Mar 2022 09:23:05 +0100] rev 75275
updated SMT certificates
desharna [Fri, 11 Mar 2022 09:22:13 +0100] rev 75274
used more descriptive assert names in SMT-Lib output
wenzelm [Sat, 12 Mar 2022 23:21:28 +0100] rev 75273
clarified and unified executable names;