| Fri, 06 Sep 2024 19:08:44 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 06 Sep 2024 15:59:48 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 06 Sep 2024 15:46:51 +0200 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| Sat, 29 Jun 2024 12:50:43 +0200 |
wenzelm |
minor performance tuning;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Mon, 23 Nov 2020 15:14:58 +0100 |
wenzelm |
support for PIDE markup in batch build (inactive due to pide_reports=false);
|
file |
diff |
annotate
|
| Mon, 30 Mar 2020 19:39:11 +0200 |
wenzelm |
more accurate treatment of errors;
|
file |
diff |
annotate
|
| Sun, 29 Mar 2020 21:57:40 +0200 |
wenzelm |
clarified signature: more explicit type Protocol_Message.Marker;
|
file |
diff |
annotate
|
| Sun, 29 Mar 2020 19:42:59 +0200 |
wenzelm |
more explicit type Protocol_Message.Marker;
|
file |
diff |
annotate
|
| Mon, 16 Mar 2015 11:07:56 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|