| Mon, 05 Dec 2022 22:42:56 +0100 |
wenzelm |
tuned GUI behaviour;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Mon, 26 Jul 2021 13:12:22 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 26 Jul 2021 13:04:55 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 11 Jul 2021 16:57:30 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 18 May 2021 17:02:45 +0200 |
wenzelm |
proper message for instances of Exn.User_Error, without extra Output.error_prefix (e.g. for Document_Build.Build_Error);
|
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
|
| Thu, 12 Nov 2020 12:10:17 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2020 15:05:37 +0200 |
wenzelm |
clarified message;
|
file |
diff |
annotate
|
| Mon, 06 Apr 2020 13:40:44 +0200 |
wenzelm |
clarified interrupt handling;
|
file |
diff |
annotate
|
| Sun, 05 Apr 2020 21:05:08 +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
|
| Wed, 20 Nov 2019 12:21:54 +0100 |
wenzelm |
clarified signature -- more explicit types;
|
file |
diff |
annotate
|
| Sat, 25 Aug 2018 20:10:49 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Tue, 29 May 2018 14:25:39 +0200 |
wenzelm |
more operations (as in ML);
|
file |
diff |
annotate
|
| Wed, 09 May 2018 22:03:02 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 14 May 2017 17:05:06 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 04 May 2017 14:57:31 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 16 Mar 2017 11:25:09 +0100 |
wenzelm |
clarified message: exception output usally happens in a context without extra newline;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 20:17:44 +0100 |
wenzelm |
show user error as on command-line, e.g. relevant for unexpected crashes;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 19:40:39 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Mon, 24 Oct 2016 12:16:12 +0200 |
wenzelm |
discontinued unused / untested distinction of separate PIDE modules;
|
file |
diff |
annotate
|
| Sun, 04 Sep 2016 21:41:08 +0200 |
wenzelm |
clarified exceptions;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2016 21:59:21 +0100 |
wenzelm |
discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM;
|
file |
diff |
annotate
| base
|
| Tue, 03 Nov 2015 16:35:00 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 14 Mar 2015 21:16:29 +0100 |
wenzelm |
value-oriented user error, for well-defined Thy_Syntax.chop_common;
|
file |
diff |
annotate
|
| Sat, 14 Mar 2015 20:49:10 +0100 |
wenzelm |
more explicit exception User_Error, with value-oriented equality;
|
file |
diff |
annotate
|
| Fri, 12 Dec 2014 14:30:33 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 11 Dec 2014 23:31:30 +0100 |
wenzelm |
added Par_List in Scala, in accordance to ML version;
|
file |
diff |
annotate
|