| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Mon, 17 May 2021 13:40:01 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 10 Apr 2021 21:50:59 +0200 |
wenzelm |
more robust treatment of empty markup: it allows to produce formal chunks;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Sat, 02 Jan 2021 20:56:08 +0100 |
wenzelm |
support more direct hash-consing via XML.Cache;
|
file |
diff |
annotate
|
| Sat, 02 Jan 2021 16:39:07 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 02 Jan 2021 16:30:43 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Mon, 09 Mar 2020 19:35:07 +0100 |
wenzelm |
more scalable output of YXML files;
|
file |
diff |
annotate
|
| Sun, 11 Mar 2018 15:08:14 +0100 |
wenzelm |
clarified argument formats: explicit Unit, allow XML.Elem as well;
|
file |
diff |
annotate
|
| Mon, 24 Oct 2016 12:16:12 +0200 |
wenzelm |
discontinued unused / untested distinction of separate PIDE modules;
|
file |
diff |
annotate
|
| Tue, 22 Apr 2014 23:31:45 +0200 |
wenzelm |
avoid octal escape literals -- deprecated in scala-2.11.0;
|
file |
diff |
annotate
|
| Wed, 16 Apr 2014 11:52:26 +0200 |
wenzelm |
more specific support for sequence of words;
|
file |
diff |
annotate
|
| Tue, 18 Feb 2014 18:43:31 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Tue, 18 Feb 2014 17:03:12 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|