isabelle: File revisions

src/Tools/Code/code_haskell.ML

Fri, 16 Mar 2012 18:20:12 +0100	wenzelm	outer syntax command definitions based on formal command_spec derived from theory header declarations;	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
Fri, 16 Sep 2011 20:02:35 +0200	noschinl	tune indenting	file \| diff \| annotate
Wed, 14 Sep 2011 10:24:22 +0200	noschinl	create central list for language extensions used by the haskell code generator	file \| diff \| annotate
Thu, 08 Sep 2011 12:23:11 +0200	noschinl	call ghc with -XEmptyDataDecls	file \| diff \| annotate
Wed, 07 Sep 2011 13:51:36 +0200	bulwahn	removing previous crude approximation to add type annotations to disambiguate types	file \| diff \| annotate
Wed, 07 Sep 2011 13:51:35 +0200	bulwahn	adding minimalistic implementation for printing the type annotations	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

isabelle