src/Tools/Code/code_scala.ML
Fri, 27 Aug 2010 13:32:05 +0200 haftmann proper namespace administration for hierarchical modules
Thu, 26 Aug 2010 14:04:13 +0200 haftmann only print qualified implicits
Thu, 26 Aug 2010 13:54:33 +0200 haftmann stub for (later) correct deresolving of class method names
Thu, 26 Aug 2010 13:50:58 +0200 haftmann tuned serializer interface
Thu, 26 Aug 2010 12:30:43 +0200 haftmann private version of commas, cf. printmode
Thu, 26 Aug 2010 10:23:25 +0200 haftmann corrected semantics of presentation_stmt_names; do not print includes on presentation selection
Thu, 26 Aug 2010 10:16:22 +0200 haftmann code_include Scala: qualify module nmae
Wed, 25 Aug 2010 16:33:05 +0200 haftmann preliminary implementation of hierarchical module name space
less more (0) -30 -10 -8 tip