src/Tools/code/code_target.ML
2007-10-25 haftmann 2007-10-25 tuned
2007-10-22 haftmann 2007-10-22 clarified Haskell qualification heuristics
2007-10-18 haftmann 2007-10-18 CRITICAL evaluation
2007-10-12 haftmann 2007-10-12 code_include replaces code_moduleprolog
2007-10-09 wenzelm 2007-10-09 renamed AxClass.get_definition to AxClass.get_info (again);
2007-10-08 haftmann 2007-10-08 moved translation kernel to CodeThingol
2007-10-06 wenzelm 2007-10-06 simplified interfaces for outer syntax;
2007-10-04 haftmann 2007-10-04 concept for exceptions
2007-10-02 haftmann 2007-10-02 clarified role of class relations
2007-09-29 haftmann 2007-09-29 added ocaml strings
2007-09-25 haftmann 2007-09-25 ML monad support
2007-09-20 haftmann 2007-09-20 more precise treatment of free dictionary parameters for evaluation
2007-09-18 wenzelm 2007-09-18 simplified PrintMode interfaces;
2007-09-18 wenzelm 2007-09-18 simplified type int (eliminated IntInf.int, integer);
2007-09-18 haftmann 2007-09-18 clarified evaluation code
2007-09-15 haftmann 2007-09-15 added explicit theorems
2007-08-24 haftmann 2007-08-24 overloaded definitions accompanied by explicit constants
2007-08-21 haftmann 2007-08-21 improved evaluation interface
2007-08-16 haftmann 2007-08-16 fixed OCaml bug
2007-08-15 haftmann 2007-08-15 fixed OCaml bug
2007-08-13 haftmann 2007-08-13 fixed OCaml bug
2007-08-10 haftmann 2007-08-10 new structure for code generator modules