Sat, 13 Aug 2022 23:08:07 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 13 Aug 2022 23:04:53 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sat, 13 Aug 2022 22:41:45 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Thu, 04 Aug 2022 12:43:33 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
Mon, 13 Sep 2021 11:52:32 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Mon, 26 Jul 2021 13:12:22 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Thu, 04 Mar 2021 21:04:27 +0100 |
wenzelm |
clarified signature --- fewer warnings;
|
file |
diff |
annotate
|
Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
Sat, 09 Jan 2021 00:53:06 +0100 |
wenzelm |
tuned GUI, notably for scalable FlatLaf;
|
file |
diff |
annotate
|
Mon, 13 Apr 2020 16:16:22 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Tue, 07 Apr 2020 21:49:36 +0200 |
wenzelm |
clarified signature: more uniform treatment of stopped/interrupted state;
|
file |
diff |
annotate
|
Tue, 07 Apr 2020 21:07:28 +0200 |
wenzelm |
proper asynchronous GUI interaction for somewhat heavy JEdit_Sessions.session_build check;
|
file |
diff |
annotate
|
Mon, 06 Apr 2020 12:53:45 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Sun, 05 Apr 2020 13:05:40 +0200 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
Sat, 04 Apr 2020 19:18:19 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
Fri, 01 Mar 2019 21:29:59 +0100 |
wenzelm |
system option "system_heaps" supersedes various command-line options for "system build mode";
|
file |
diff |
annotate
|
Sun, 09 Sep 2018 11:53:53 +0200 |
wenzelm |
clarified theory progress;
|
file |
diff |
annotate
|
Sat, 09 Jun 2018 21:52:16 +0200 |
wenzelm |
clarified signature: more uniform theory_message (see also d7920eb7de54);
|
file |
diff |
annotate
|
Wed, 01 Nov 2017 15:32:07 +0100 |
wenzelm |
added isabelle jedit options -B, -P, clarified -R;
|
file |
diff |
annotate
|
Sun, 14 May 2017 17:05:06 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 15 Mar 2017 12:41:22 +0100 |
wenzelm |
more explicit options;
|
file |
diff |
annotate
|
Thu, 14 Apr 2016 12:08:38 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Mon, 23 Nov 2015 19:51:33 +0100 |
wenzelm |
clarified font: GUI defaults might change dynamically;
|
file |
diff |
annotate
|
Sat, 14 Nov 2015 18:37:49 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
Tue, 03 Nov 2015 13:54:34 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Tue, 27 Oct 2015 23:18:32 +0100 |
wenzelm |
no icons here -- not a standalone window;
|
file |
diff |
annotate
|
Wed, 30 Sep 2015 23:54:22 +0200 |
wenzelm |
tuned GUI;
|
file |
diff |
annotate
|
Wed, 30 Sep 2015 20:48:59 +0200 |
wenzelm |
tuned GUI;
|
file |
diff |
annotate
|
Wed, 30 Sep 2015 14:37:21 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
Wed, 30 Sep 2015 14:32:26 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|