src/Tools/code/code_target.ML
2008-06-25 wenzelm 2008-06-25 moved global keywords from OuterSyntax to OuterKeyword, tuned interfaces;
2008-06-24 wenzelm 2008-06-24 ml_code_antiq: proper scanner combinators; ML_Antiquote.value;
2008-06-20 haftmann 2008-06-20 explicit thm context for error messages
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-29 haftmann 2008-05-29 yet another attempt to circumvent printmode problems
2008-05-28 haftmann 2008-05-28 fixed utterly wrong print mode handling
2008-05-28 haftmann 2008-05-28 new serializer interface
2008-05-26 haftmann 2008-05-26 proper use of the Pretty module
2008-04-28 haftmann 2008-04-28 dropping return in imperative monad bindings
2008-04-27 haftmann 2008-04-27 corrected ML semantics
2008-03-27 haftmann 2008-03-27 clarified character serializations
2008-03-24 wenzelm 2008-03-24 ML runtime compilation: pass position, tuned signature;
2008-02-22 haftmann 2008-02-22 non-operative code antiquotation
2008-02-17 huffman 2008-02-17 New simpler representation of numerals, using Bit0 and Bit1 instead of BIT, B0, and B1
2008-01-29 haftmann 2008-01-29 tuned names
2008-01-26 wenzelm 2008-01-26 avoid redundant escaping of Isabelle symbols;
2008-01-25 haftmann 2008-01-25 tuned
2008-01-21 haftmann 2008-01-21 non-negative numerals
2008-01-02 haftmann 2008-01-02 empty dictionaries for OCaml
2007-12-13 haftmann 2007-12-13 heutistics for type annotations in Haskell
2007-12-05 haftmann 2007-12-05 map_product and fold_product
2007-10-26 wenzelm 2007-10-26 replaced Secure.evaluate by ML_Context.evaluate;
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