| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Sun, 10 Jan 2021 13:04:29 +0100 |
wenzelm |
more informative errors: simplify diagnosis of spurious failures reported by users;
|
file |
diff |
annotate
|
| Fri, 04 Nov 2016 13:27:31 +0100 |
wenzelm |
back to stable scala-2.11.8;
|
file |
diff |
annotate
|
| Mon, 24 Oct 2016 12:16:12 +0200 |
wenzelm |
discontinued unused / untested distinction of separate PIDE modules;
|
file |
diff |
annotate
|
| Thu, 24 Apr 2014 00:27:06 +0200 |
wenzelm |
more uniform synchronized variables;
|
file |
diff |
annotate
|
| Fri, 05 Jul 2013 23:10:18 +0200 |
wenzelm |
more uniform Counter in ML and Scala;
|
file |
diff |
annotate
|
| Mon, 27 Feb 2012 17:13:25 +0100 |
wenzelm |
prefer final ADTs -- prevent ooddities;
|
file |
diff |
annotate
|
| Tue, 29 Nov 2011 21:29:53 +0100 |
wenzelm |
separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
|
file |
diff |
annotate
|
| Mon, 28 Nov 2011 22:18:19 +0100 |
wenzelm |
explicit indication of modules for independent Scala library;
|
file |
diff |
annotate
|
| Sat, 22 Oct 2011 19:00:03 +0200 |
wenzelm |
class Counter as abstract datatype;
|
file |
diff |
annotate
|
| Mon, 04 Jul 2011 20:18:19 +0200 |
wenzelm |
explicit class Counter;
|
file |
diff |
annotate
|