src/Tools/Code/code_scala.ML
2010-06-15 haftmann 2010-06-15 drop function definitions of combinators
2010-06-15 haftmann 2010-06-15 formal introduction of case cong
2010-06-07 haftmann 2010-06-07 more consistent naming aroud type classes and instances
2010-06-04 haftmann 2010-06-04 avoid "$"
2010-06-01 haftmann 2010-06-01 capitalized type variables; added yield as keyword
2010-06-01 haftmann 2010-06-01 corrected printing of characters
2010-04-29 haftmann 2010-04-29 more coherent naming with ML serializer
2010-02-19 haftmann 2010-02-19 context theorem is optional
2010-01-22 haftmann 2010-01-22 code literals: distinguish numeral classes by different entries
2010-01-14 haftmann 2010-01-14 tuned for products vs. tupled functions
2010-01-13 haftmann 2010-01-13 being more accurate wrt. list syntax
2010-01-08 haftmann 2010-01-08 proper types for user-defined syntax
2010-01-08 haftmann 2010-01-08 a primitive scala serializer