src/Tools/Code/code_scala.ML
Sat, 05 Nov 2016 14:35:40 +0100 wenzelm Scala "\u" notation uses hexadecimal, not octal (amending 00a135c0a17f);
Thu, 23 Jun 2016 16:46:36 +0200 haftmann compiling implicit instances into companion objects for classes avoids ambiguities
Tue, 14 Jun 2016 20:48:42 +0200 haftmann non-deprecated char literals for Scala
less more (0) -100 -30 -10 -3 tip