src/Tools/Code/code_haskell.ML
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
less more (0) -10 -3 tip