| 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
|