| Wed, 06 Apr 2022 12:11:30 +0200 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Wed, 06 Apr 2022 11:09:58 +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, 01 Mar 2021 23:17:47 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 19:41:52 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 21 Dec 2020 21:53:12 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 24 Oct 2016 12:16:12 +0200 |
wenzelm |
discontinued unused / untested distinction of separate PIDE modules;
|
file |
diff |
annotate
|
| Thu, 07 Jul 2016 11:46:18 +0200 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Tue, 02 Dec 2014 17:30:53 +0100 |
wenzelm |
added Untyped.method convenience (for *this* class only);
|
file |
diff |
annotate
|
| Tue, 02 Dec 2014 16:40:11 +0100 |
wenzelm |
tuned signature -- more explicit types;
|
file |
diff |
annotate
|
| Tue, 14 Oct 2014 19:38:41 +0200 |
wenzelm |
access class hierarchy;
|
file |
diff |
annotate
|
| Thu, 08 May 2014 00:12:22 +0200 |
wenzelm |
untyped, unscoped, unchecked access to JVM objects;
|
file |
diff |
annotate
|