src/Tools/Code/code_scala.ML
Thu, 30 May 2013 14:37:35 +0200 Andreas Lochbihler space between minus sign and number for large negative number literals causes NumberFormatException at run-time
Fri, 24 May 2013 23:57:24 +0200 haftmann bookkeeping and input syntax for exact specification of names of symbols in generated code
less more (0) -30 -10 -2 tip