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
less more (0) -30 -10 -1 tip