| Thu, 10 Jan 2019 12:07:05 +0000 |
haftmann |
explicit model concerning files of generated code
|
file |
diff |
annotate
|
| Wed, 25 Apr 2018 09:04:26 +0000 |
haftmann |
more correct error message
|
file |
diff |
annotate
|
| Tue, 24 Apr 2018 14:17:58 +0000 |
haftmann |
proper datatype for 8-bit characters
|
file |
diff |
annotate
|
| Wed, 24 Jan 2018 11:56:54 +0100 |
wenzelm |
clarified position;
|
file |
diff |
annotate
|
| Thu, 14 Dec 2017 18:42:39 +0100 |
haftmann |
dedicated case option for code generation to Scala
|
file |
diff |
annotate
|
| Thu, 03 Aug 2017 12:49:59 +0200 |
haftmann |
corrected slip
|
file |
diff |
annotate
|
| Thu, 03 Aug 2017 12:49:58 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Fri, 21 Apr 2017 13:51:43 +0200 |
wenzelm |
more uniform isabelle_scala;
|
file |
diff |
annotate
|
| Sun, 15 Jan 2017 16:30:49 +0100 |
wenzelm |
uniform use of ISABELLE_SCALAC_OPTIONS for scalac, notably for -Xmax-classfile-name on encrypted or docker file-systems;
|
file |
diff |
annotate
|
| Sat, 05 Nov 2016 14:35:40 +0100 |
wenzelm |
Scala "\u" notation uses hexadecimal, not octal (amending 00a135c0a17f);
|
file |
diff |
annotate
|
| Thu, 23 Jun 2016 16:46:36 +0200 |
haftmann |
compiling implicit instances into companion objects for classes avoids ambiguities
|
file |
diff |
annotate
|
| Tue, 14 Jun 2016 20:48:42 +0200 |
haftmann |
non-deprecated char literals for Scala
|
file |
diff |
annotate
|
| Tue, 14 Jun 2016 20:48:41 +0200 |
haftmann |
explicit resolution of ambiguous dictionaries
|
file |
diff |
annotate
|
| Sun, 06 Sep 2015 22:14:52 +0200 |
haftmann |
unconditional parenthesing of (chained) abstractions in Scala, with explicit regression setup
|
file |
diff |
annotate
|
| Fri, 09 Jan 2015 08:36:59 +0100 |
haftmann |
modernized and more uniform style
|
file |
diff |
annotate
|