src/Tools/Code/code_scala.ML
Fri, 18 Jun 2010 09:04:00 +0200 haftmann dropped dead code
Thu, 17 Jun 2010 15:59:48 +0200 haftmann first serious draft of a scala code generator
Thu, 17 Jun 2010 11:33:04 +0200 haftmann transitive superclasses were also only a misunderstanding
Thu, 17 Jun 2010 10:57:00 +0200 haftmann formal introduction of transitive superclasses
less more (0) -10 -4 tip