src/Tools/Code/code_scala.ML
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
Sat, 04 Sep 2010 21:14:40 +0200 haftmann merged
Sat, 04 Sep 2010 21:13:13 +0200 haftmann printing combinator for hierarchical programs
Sat, 04 Sep 2010 21:10:48 +0200 haftmann dropped names from serializer interface
Thu, 02 Sep 2010 19:08:48 +0200 haftmann hand out deresolver from serializer invocation
Thu, 02 Sep 2010 15:09:51 +0200 haftmann restored and added surpression of case combinators
Thu, 02 Sep 2010 14:59:28 +0200 haftmann dropped superfluous presentation names
Thu, 02 Sep 2010 14:36:49 +0200 haftmann manage statement selection for presentation wholly through markup
Thu, 02 Sep 2010 13:58:16 +0200 haftmann formal markup of generated code for statements
Thu, 02 Sep 2010 12:30:22 +0200 haftmann formal framework for presentation of selected statements
Thu, 02 Sep 2010 10:29:50 +0200 haftmann include names need not be considered as reserved any longer
less more (0) -16 tip