| Wed, 02 Oct 2024 10:39:32 +0200 |
Fabian Huch |
minor tuning;
|
file |
diff |
annotate
|
| Thu, 30 May 2024 02:45:01 +0200 |
Thomas Lindae |
vscode: added dynamic and state output set margin messages to vscode extension;
|
file |
diff |
annotate
|
| Mon, 07 Mar 2022 12:37:03 +0100 |
wenzelm |
proper file headers;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2022 16:46:05 +0100 |
wenzelm |
clarified modules: more uniform .scala vs. ts (amending 4519eeefe3b5);
|
file |
diff |
annotate
|
| Wed, 02 Mar 2022 16:48:42 +0100 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
| Wed, 02 Mar 2022 16:06:37 +0100 |
wenzelm |
clarified module;
|
file |
diff |
annotate
|
| Wed, 23 Feb 2022 10:46:10 +0100 |
Fabian Huch |
update VSCode plugin dependencies;
|
file |
diff |
annotate
|
| Tue, 22 Feb 2022 11:53:06 +0100 |
wenzelm |
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
|
file |
diff |
annotate
|
| Fri, 18 Feb 2022 14:03:45 +0100 |
wenzelm |
prefer strict equality, without implicit type conversion;
|
file |
diff |
annotate
|
| Wed, 26 Feb 2020 15:34:52 +0100 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| Wed, 26 Feb 2020 14:47:36 +0100 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
| Wed, 26 Feb 2020 14:43:43 +0100 |
wenzelm |
proper message passing -- discontinued obsolete auxiliary commands;
|
file |
diff |
annotate
|
| Tue, 25 Feb 2020 21:28:06 +0100 |
wenzelm |
clarified Panel;
|
file |
diff |
annotate
|
| Tue, 25 Feb 2020 18:30:08 +0100 |
wenzelm |
update to WebviewPanel API, following initial version by Peter Zeller;
|
file |
diff |
annotate
|
| Fri, 11 Aug 2017 18:08:46 +0200 |
wenzelm |
proper state_panel exit;
|
file |
diff |
annotate
|
| Thu, 29 Jun 2017 11:36:25 +0200 |
wenzelm |
HTML GUI actions via JavaScript;
|
file |
diff |
annotate
|
| Tue, 27 Jun 2017 16:50:40 +0200 |
wenzelm |
added missing files (cf. 5aa9cb83e70e);
|
file |
diff |
annotate
|