src/Tools/code/code_haskell.ML
Sat, 28 Feb 2009 14:09:58 +0100 wenzelm removed Ids;
Tue, 17 Feb 2009 18:45:41 +0100 haftmann unified variable names in case expressions; no exponential fork in translation of case expressions
Sat, 07 Feb 2009 10:56:44 +0100 haftmann check for destination directory, do not allocate it gratuitously
less more (0) -10 -3 tip