| Thu, 24 Mar 2022 18:28:44 +0000 |
paulson |
Moving Dedekind_Real to the AFP
|
changeset |
files
|
| Thu, 24 Mar 2022 16:34:44 +0000 |
haftmann |
tuned
|
changeset |
files
|
| Thu, 24 Mar 2022 16:34:43 +0000 |
haftmann |
separated case reduction
|
changeset |
files
|
| Thu, 24 Mar 2022 16:34:42 +0000 |
haftmann |
separated selector function entirely
|
changeset |
files
|
| Thu, 24 Mar 2022 16:34:41 +0000 |
haftmann |
self-contained extraction auf clauses
|
changeset |
files
|
| Thu, 24 Mar 2022 16:34:40 +0000 |
haftmann |
extracted selector function, restoring code generation for let expressions
|
changeset |
files
|
| Thu, 24 Mar 2022 16:34:39 +0000 |
haftmann |
streamlined
|
changeset |
files
|
| Thu, 24 Mar 2022 16:34:38 +0000 |
haftmann |
streamlined
|
changeset |
files
|
| Thu, 24 Mar 2022 16:34:37 +0000 |
haftmann |
streamlined
|
changeset |
files
|
| Thu, 24 Mar 2022 16:34:35 +0000 |
haftmann |
disentangled
|
changeset |
files
|
| Wed, 23 Mar 2022 20:26:33 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 23 Mar 2022 17:24:09 +0100 |
wenzelm |
tuned message;
|
changeset |
files
|
| Wed, 23 Mar 2022 16:53:00 +0100 |
wenzelm |
more operations;
|
changeset |
files
|
| Wed, 23 Mar 2022 16:41:32 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 23 Mar 2022 13:43:13 +0100 |
wenzelm |
more robust install/uninstall;
|
changeset |
files
|
| Wed, 23 Mar 2022 13:05:54 +0100 |
wenzelm |
more formal extension_manifest, with shasum for sources;
|
changeset |
files
|
| Wed, 23 Mar 2022 12:21:13 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 23 Mar 2022 12:15:25 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 23 Mar 2022 12:02:56 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Wed, 23 Mar 2022 11:40:34 +0100 |
wenzelm |
proper usage;
|
changeset |
files
|
| Tue, 22 Mar 2022 20:25:52 +0100 |
wenzelm |
tuned -- follow sha1_digest in src/Tools/Setup/src/Build.java;
|
changeset |
files
|
| Tue, 22 Mar 2022 20:06:41 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Tue, 22 Mar 2022 19:33:38 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Tue, 22 Mar 2022 19:19:09 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 23 Mar 2022 14:36:11 +0000 |
paulson |
... and removing Primrec from ROOT too
|
changeset |
files
|
| Wed, 23 Mar 2022 14:22:56 +0000 |
paulson |
Removal of the Primrec example in preparation for making it an AFP entry
|
changeset |
files
|
| Wed, 23 Mar 2022 10:54:22 +0100 |
desharna |
merged
|
changeset |
files
|
| Wed, 23 Feb 2022 08:43:44 +0100 |
desharna |
avoided recomputation in Cooper.djf and ran `isabelle regenerate_cooper`
|
changeset |
files
|
| Mon, 14 Mar 2022 07:12:48 +0100 |
Mathias Fleury |
split veriT reconstruction into Lethe and veriTÂ part
|
changeset |
files
|
| Tue, 22 Mar 2022 19:08:47 +0100 |
wenzelm |
clarified options;
|
changeset |
files
|
| Tue, 22 Mar 2022 18:56:28 +0100 |
wenzelm |
more robust errors -- on foreground process instead of background server;
|
changeset |
files
|
| Tue, 22 Mar 2022 18:52:27 +0100 |
wenzelm |
clarified options -l vs. -R;
|
changeset |
files
|
| Tue, 22 Mar 2022 18:12:58 +0100 |
wenzelm |
command-line arguments for "isabelle vscode", similar to "isabelle jedit";
|
changeset |
files
|
| Tue, 22 Mar 2022 16:49:18 +0100 |
wenzelm |
proper command-line tool;
|
changeset |
files
|
| Tue, 22 Mar 2022 13:05:01 +0100 |
wenzelm |
support console output, e.g. "isabelle vscode -C -- --help";
|
changeset |
files
|
| Tue, 22 Mar 2022 12:48:27 +0100 |
wenzelm |
run Isabelle/VSCode via Scala;
|
changeset |
files
|
| Mon, 21 Mar 2022 11:55:51 +0100 |
wenzelm |
clarified module name;
|
changeset |
files
|
| Mon, 21 Mar 2022 11:40:11 +0100 |
wenzelm |
clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
|
changeset |
files
|
| Mon, 21 Mar 2022 10:56:29 +0100 |
wenzelm |
incorporate build_grammar into build_vscode_extension;
|
changeset |
files
|
| Mon, 21 Mar 2022 10:32:24 +0100 |
wenzelm |
removed old generated file;
|
changeset |
files
|
| Wed, 16 Mar 2022 16:14:22 +0000 |
paulson |
Tidied several ugly proofs in some elderly examples
|
changeset |
files
|
| Tue, 15 Mar 2022 14:15:11 +0100 |
wenzelm |
tuned message;
|
changeset |
files
|
| Tue, 15 Mar 2022 14:03:56 +0100 |
wenzelm |
clarified errors;
|
changeset |
files
|
| Tue, 15 Mar 2022 13:22:37 +0100 |
wenzelm |
tuned messages;
|
changeset |
files
|
| Tue, 15 Mar 2022 13:16:13 +0100 |
wenzelm |
support Node.js as well, reusing the engine from Electron/VSCodium;
|
changeset |
files
|
| Tue, 15 Mar 2022 13:13:05 +0100 |
wenzelm |
updated to vscode 1.65.2;
|
changeset |
files
|
| Tue, 15 Mar 2022 13:11:53 +0100 |
wenzelm |
proper result check;
|
changeset |
files
|
| Mon, 14 Mar 2022 21:57:17 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 14 Mar 2022 21:56:46 +0100 |
wenzelm |
clarified directory layout and settings: more robust on all platforms;
|
changeset |
files
|
| Mon, 14 Mar 2022 16:09:25 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 14 Mar 2022 16:03:15 +0100 |
wenzelm |
support Electron application framework;
|
changeset |
files
|
| Fri, 11 Mar 2022 11:19:38 +0100 |
desharna |
generated lemma map_ident_strong for BNFs
|
changeset |
files
|
| Fri, 11 Mar 2022 09:23:05 +0100 |
desharna |
updated SMT certificates
|
changeset |
files
|
| Fri, 11 Mar 2022 09:22:13 +0100 |
desharna |
used more descriptive assert names in SMT-Lib output
|
changeset |
files
|
| Sat, 12 Mar 2022 23:21:28 +0100 |
wenzelm |
clarified and unified executable names;
|
changeset |
files
|
| Sat, 12 Mar 2022 20:56:03 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 12 Mar 2022 20:49:50 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 11 Mar 2022 19:55:03 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 11 Mar 2022 19:44:34 +0100 |
wenzelm |
suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
|
changeset |
files
|
| Fri, 11 Mar 2022 16:43:09 +0100 |
Mathias Fleury |
fix handling of lambdas in reconstruction of eq_congruent
|
changeset |
files
|