src/Tools/code/code_thingol.ML
2008-07-15 haftmann 2008-07-15 tuned code theorem bookkeeping
2008-07-01 haftmann 2008-07-01 tuned
2008-06-10 haftmann 2008-06-10 major refactorings in code generator modules
2008-05-30 haftmann 2008-05-30 various code streamlining
2008-05-23 haftmann 2008-05-23 tuned
2008-05-18 wenzelm 2008-05-18 moved global pretty/string_of functions from Sign to Syntax;
2008-01-29 haftmann 2008-01-29 cleaned up evaluation interfaces
2008-01-25 haftmann 2008-01-25 tuned
2007-12-13 haftmann 2007-12-13 heutistics for type annotations in Haskell
2007-12-10 haftmann 2007-12-10 moved instance parameter management from class.ML to axclass.ML
2007-11-28 haftmann 2007-11-28 tuned interfaces of class module
2007-10-15 wenzelm 2007-10-15 renamed Consts.the_declaration to Consts.the_type;
2007-10-11 wenzelm 2007-10-11 removed obsolete AxClass.params_of_class; tuned;
2007-10-08 haftmann 2007-10-08 moved translation kernel to CodeThingol
2007-10-04 haftmann 2007-10-04 clarified terminology
2007-10-02 haftmann 2007-10-02 clarified role of class relations
2007-09-20 haftmann 2007-09-20 more precise treatment of free dictionary parameters for evaluation
2007-09-15 haftmann 2007-09-15 added explicit theorems
2007-08-21 haftmann 2007-08-21 improved evaluation interface
2007-08-15 haftmann 2007-08-15 tuned
2007-08-13 haftmann 2007-08-13 simplified
2007-08-10 haftmann 2007-08-10 new structure for code generator modules