Fri, 25 Sep 2020 14:37:07 +0200 |
wenzelm |
more robust: avoid spurious line breaks that might confuse the scala interpreter;
|
file |
diff |
annotate
|
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
|