src/Tools/Code/code_haskell.ML
2009-12-23 haftmann 2009-12-23 take care for destructive print mode properly using dedicated pretty builders
2009-12-14 haftmann 2009-12-14 improved crude deriving_show inference
2009-12-11 haftmann 2009-12-11 repaired accident: do not forget module contents if there are no imports
2009-12-09 haftmann 2009-12-09 each import resides in its own line
2009-12-04 haftmann 2009-12-04 merged, resolving minor conflicts
2009-12-04 haftmann 2009-12-04 tuned
2009-11-30 haftmann 2009-11-30 dropped some unused bindings
2009-11-25 haftmann 2009-11-25 normalized uncurry take/drop
2009-11-24 haftmann 2009-11-24 curried take/drop
2009-11-03 haftmann 2009-11-03 always be qualified -- suspected smartness in fact never worked as expected
2009-10-14 haftmann 2009-10-14 tuned whitespace
2009-10-14 haftmann 2009-10-14 dropped Code_Printer prefix where feasible; fixed whitespace issues; more coherent terminology
2009-10-12 haftmann 2009-10-12 intro_base_names combinator
2009-10-12 haftmann 2009-10-12 dropped dead code
2009-07-03 haftmann 2009-07-03 cleaned up fundamental iml term functions
2009-06-30 haftmann 2009-06-30 all variable names are optional
2009-06-30 haftmann 2009-06-30 variable names in abstractions are optional
2009-06-30 haftmann 2009-06-30 simplified binding concept
2009-06-23 haftmann 2009-06-23 uniformly capitialized names for subdirectories