src/Tools/code/code_package.ML
2008-05-28 haftmann 2008-05-28 new serializer interface
2008-05-18 wenzelm 2008-05-18 moved global pretty/string_of functions from Sign to Syntax;
2008-04-22 haftmann 2008-04-22 more general evaluation combinators
2008-04-16 wenzelm 2008-04-16 Facts.dest_static;
2008-04-15 wenzelm 2008-04-15 Facts.dest_table;
2008-04-10 wenzelm 2008-04-10 added read_const_exprs (from Pure/Isar/code_unit.ML);
2008-04-10 wenzelm 2008-04-10 replaced Isar.toplevel by Toplevel.program;
2008-03-19 wenzelm 2008-03-19 renamed datatype thmref to Facts.ref, tuned interfaces;
2008-03-15 wenzelm 2008-03-15 removed obsolete PureThy.thms_containing;
2008-02-22 haftmann 2008-02-22 non-operative code antiquotation
2008-01-29 haftmann 2008-01-29 cleaned up evaluation interfaces
2008-01-25 haftmann 2008-01-25 tuned
2008-01-21 haftmann 2008-01-21 tuned
2007-12-13 haftmann 2007-12-13 isatool codegen now returns exit value
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-19 wenzelm 2007-10-19 export_code: proper command;
2007-10-11 wenzelm 2007-10-11 moved Drule.unvarify to Thm.unvarify (cf. more_thm.ML);
2007-10-11 wenzelm 2007-10-11 replaced Sign.add_consts_authentic by Sign.declare_const; tuned;
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 certificates for code generator case expressions
2007-10-04 haftmann 2007-10-04 clarified relationship of code generator conversions and evaluations
2007-10-02 haftmann 2007-10-02 clarified role of class relations
2007-09-30 wenzelm 2007-09-30 Sign.add_consts_authentic: tags (Markup.property list);
2007-09-20 haftmann 2007-09-20 more precise treatment of free dictionary parameters for evaluation
2007-09-18 haftmann 2007-09-18 clarified evaluation code
2007-09-15 haftmann 2007-09-15 tuned
2007-08-27 haftmann 2007-08-27 added code_props
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-20 haftmann 2007-08-20 renamed code_gen to export_code
2007-08-15 haftmann 2007-08-15 tuned
2007-08-13 haftmann 2007-08-13 *** empty log message ***
2007-08-10 haftmann 2007-08-10 new structure for code generator modules