isabelle: File revisions

src/Tools/Code/code_haskell.ML

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
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
Thu, 18 Aug 2011 13:37:41 +0200	noschinl	do not call ghc with -fglasgow-exts	file \| diff \| annotate
Thu, 09 Jun 2011 17:51:49 +0200	wenzelm	simplified Name.variant -- discontinued builtin fold_map;	file \| diff \| annotate
Sun, 20 Mar 2011 17:40:45 +0100	wenzelm	replaced File.check by specific File.check_file, File.check_dir;	file \| diff \| annotate
Sun, 13 Mar 2011 19:16:19 +0100	wenzelm	cleanup of former settings GHC_PATH, EXEC_GHC, EXEC_OCAML, EXEC_SWIPL, EXEC_YAP -- discontinued implicit detection;	file \| diff \| annotate

isabelle