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
less more (0) -10 -3 tip