src/Tools/Code/code_scala.ML
Sun, 13 Mar 2011 14:51:38 +0100 wenzelm allow spaces in executable names;
Sun, 13 Mar 2011 13:57:20 +0100 wenzelm tuned;
Sat, 19 Feb 2011 08:47:46 +0100 haftmann dropped redundancy
Thu, 17 Feb 2011 09:31:29 +0100 haftmann more idiomatic printing of let cascades and type variable constraints
Wed, 02 Feb 2011 10:34:14 +0100 bulwahn scala serializer adds parentheses around function literals
Tue, 21 Dec 2010 08:40:39 +0100 haftmann program is separate argument to serializer
Wed, 29 Sep 2010 10:05:44 +0200 haftmann scala is reserved identifier
less more (0) -30 -10 -7 tip