| Thu, 24 Mar 2022 22:21:24 +0000 | paulson | merged | changeset | files |
| Thu, 24 Mar 2022 18:50:11 +0000 | paulson | really removing Dedekind_real | changeset | files |
| Thu, 24 Mar 2022 18:28:51 +0000 | paulson | merged | changeset | files |
| 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 |