src/Tools/Code/code_haskell.ML
Fri, 22 Jan 2010 13:38:28 +0100 haftmann code literals: distinguish numeral classes by different entries
Tue, 05 Jan 2010 11:25:01 +0100 haftmann more correct handling of empty functions
Wed, 23 Dec 2009 11:32:08 +0100 haftmann take care for destructive print mode properly using dedicated pretty builders
Mon, 14 Dec 2009 10:24:04 +0100 haftmann improved crude deriving_show inference
Fri, 11 Dec 2009 20:32:49 +0100 haftmann repaired accident: do not forget module contents if there are no imports
Wed, 09 Dec 2009 16:46:04 +0100 haftmann each import resides in its own line
less more (0) -10 -6 tip