src/Tools/code/code_target.ML
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