Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
Fri, 25 Feb 2022 16:54:50 +0100 |
wenzelm |
proper Presentation.Entity_Context for hyperlinks (amending da1108a6d249);
|
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
|
Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
Sat, 28 Nov 2020 20:14:46 +0100 |
wenzelm |
avoid conflicting base names;
|
file |
diff |
annotate
|
Tue, 21 Apr 2020 19:07:11 +0200 |
wenzelm |
clarified imports;
|
file |
diff |
annotate
|
Wed, 26 Feb 2020 14:43:43 +0100 |
wenzelm |
proper message passing -- discontinued obsolete auxiliary commands;
|
file |
diff |
annotate
|
Sat, 01 Jun 2019 21:43:41 +0200 |
wenzelm |
tuned imports -- accommodate scala-2.13.0-RC3;
|
file |
diff |
annotate
|
Wed, 03 Jan 2018 22:29:31 +0100 |
wenzelm |
more tight HTML output: avoid extra lines within <pre>;
|
file |
diff |
annotate
|
Fri, 11 Aug 2017 19:09:42 +0200 |
wenzelm |
avoid spurious output after exit;
|
file |
diff |
annotate
|
Thu, 29 Jun 2017 11:58:00 +0200 |
wenzelm |
proper dynamic controls, notably for auto_update_enabled;
|
file |
diff |
annotate
|
Thu, 29 Jun 2017 11:42:42 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 29 Jun 2017 11:36:25 +0200 |
wenzelm |
HTML GUI actions via JavaScript;
|
file |
diff |
annotate
|
Tue, 27 Jun 2017 21:56:56 +0200 |
wenzelm |
clarified defaults;
|
file |
diff |
annotate
|
Tue, 27 Jun 2017 11:49:47 +0200 |
wenzelm |
GUI controls similar to Tools/jEdit/src/state_dockable.scala;
|
file |
diff |
annotate
|
Fri, 16 Jun 2017 22:38:19 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 16 Jun 2017 21:04:39 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
| base
|