| Sun, 06 Apr 2025 14:20:41 +0200 |
haftmann |
reflect nested lists in variables names
|
file |
diff |
annotate
|
| Sun, 30 Mar 2025 13:50:06 +0200 |
haftmann |
tuned namespace organisation
|
file |
diff |
annotate
|
| Fri, 05 Apr 2024 17:47:09 +0200 |
wenzelm |
adjust generated Scala to make it work with scalac -old-syntax and -new-syntax, although the latter is not regularly tested;
|
file |
diff |
annotate
|
| Tue, 29 Aug 2023 15:23:06 +0200 |
wenzelm |
clarified generated Scala, for the sake of "scalac -source 3.3";
|
file |
diff |
annotate
|
| Fri, 24 Mar 2023 18:30:17 +0000 |
haftmann |
More explicit type information in dictionary arguments.
|
file |
diff |
annotate
|
| Fri, 24 Mar 2023 18:30:17 +0000 |
haftmann |
more uniform approach towards satisfied applications
|
file |
diff |
annotate
|
| Sun, 12 Feb 2023 06:45:59 +0000 |
haftmann |
somehow more clear terminology
|
file |
diff |
annotate
|
| Mon, 04 Jul 2022 10:08:10 +0000 |
haftmann |
corrections and adjustions for Scala 3
|
file |
diff |
annotate
|
| Fri, 01 Jul 2022 19:57:06 +0200 |
wenzelm |
more keywords for scala3;
|
file |
diff |
annotate
|
| Sun, 03 Apr 2022 09:07:37 +0000 |
haftmann |
adjusted printing of type annotations to accomodate Scala 3
|
file |
diff |
annotate
|
| Mon, 28 Mar 2022 12:54:09 +0000 |
haftmann |
modernized handling of variables
|
file |
diff |
annotate
|
| Sun, 27 Mar 2022 19:27:52 +0000 |
haftmann |
prefer build combinator
|
file |
diff |
annotate
|
| Tue, 27 Oct 2020 22:34:37 +0100 |
wenzelm |
clarified signature: overloaded "+" for Path.append;
|
file |
diff |
annotate
|
| Fri, 25 Sep 2020 14:37:07 +0200 |
wenzelm |
more robust: avoid spurious line breaks that might confuse the scala interpreter;
|
file |
diff |
annotate
|