isabelle: File revisions

src/Tools/Code/code_scala.ML

Fri, 09 Mar 2012 20:17:16 +0100	haftmann	always bracket case expressions in Scala	file \| diff \| annotate
Tue, 20 Sep 2011 09:30:19 +0200	bulwahn	syntactic improvements and tuning names in the code generator due to Florian's code review	file \| diff \| annotate
Wed, 07 Sep 2011 13:51:32 +0200	bulwahn	adding the body type as well to the code generation for constants as it is required for type annotations of constants	file \| diff \| annotate
Wed, 07 Sep 2011 13:51:30 +0200	bulwahn	changing const type to pass along if typing annotations are necessary for disambigous terms	file \| diff \| annotate
Sat, 20 Aug 2011 23:35:30 +0200	wenzelm	refined Graph implementation: more abstract/scalable Graph.Keys instead of plain lists -- order of adjacency is now standardized wrt. Key.ord;	file \| diff \| annotate
Thu, 09 Jun 2011 20:22:22 +0200	wenzelm	tuned signature: Name.invent and Name.invent_names;	file \| diff \| annotate
Thu, 09 Jun 2011 17:51:49 +0200	wenzelm	simplified Name.variant -- discontinued builtin fold_map;	file \| diff \| annotate

isabelle