src/Tools/Code/code_scala.ML
Sat, 25 Jan 2014 23:50:49 +0100 haftmann prefer explicit code symbol type over ad-hoc name mangling
Sat, 25 Jan 2014 23:50:49 +0100 haftmann more abstract declaration of unqualified constant names in code printing context
Thu, 04 Jul 2013 08:52:44 +0200 haftmann consider explicit hint for domain of class parameters when printing instance statements
less more (0) -30 -10 -3 tip