src/Pure/Tools/codegen_package.ML
2006-03-07 haftmann 2006-03-07 substantial improvement in codegen iml
2006-03-03 haftmann 2006-03-03 improvements for nbe
2006-03-01 haftmann 2006-03-01 refined representation of codegen intermediate language
2006-02-27 haftmann 2006-02-27 class package and codegen refinements
2006-02-25 haftmann 2006-02-25 some refinements
2006-02-20 haftmann 2006-02-20 slight code generator serialization improvements
2006-02-15 haftmann 2006-02-15 exported some interfaces useful for other code generator approaches
2006-02-14 haftmann 2006-02-14 improved handling of iml abstractions
2006-02-12 wenzelm 2006-02-12 simplified TableFun.join;
2006-02-10 haftmann 2006-02-10 improved code generator devarification
2006-02-07 haftmann 2006-02-07 slight improvements in code generation
2006-02-06 wenzelm 2006-02-06 adapted Consts.dest;
2006-02-03 haftmann 2006-02-03 fix
2006-02-03 haftmann 2006-02-03 minor improvements
2006-02-03 haftmann 2006-02-03 fix in codegen
2006-02-02 haftmann 2006-02-02 improvement in devarifications
2006-02-01 haftmann 2006-02-01 substantial cleanup and simplifications
2006-01-31 haftmann 2006-01-31 minor cleanups
2006-01-30 haftmann 2006-01-30 various improvements
2006-01-23 haftmann 2006-01-23 more general serializer
2006-01-19 wenzelm 2006-01-19 setup: theory -> theory;
2006-01-18 haftmann 2006-01-18 substantial improvement in serialization handling
2006-01-17 haftmann 2006-01-17 substantial improvements in code generator
2005-12-29 haftmann 2005-12-29 slight improvements
2005-12-28 haftmann 2005-12-28 slightly improved serialization
2005-12-27 haftmann 2005-12-27 substantial improvements in code generating
2005-12-21 haftmann 2005-12-21 slight improvements
2005-12-21 haftmann 2005-12-21 slight improvements in name handling
2005-12-12 haftmann 2005-12-12 improvements in class and eq handling
2005-12-09 haftmann 2005-12-09 substantial improvements for class code generation
2005-12-06 haftmann 2005-12-06 improved serialization of classes to haskell
2005-12-06 haftmann 2005-12-06 improved class handling
2005-12-02 haftmann 2005-12-02 various improvements
2005-12-02 haftmann 2005-12-02 introduced new map2, fold
2005-11-30 haftmann 2005-11-30 minor improvements
2005-11-29 haftmann 2005-11-29 added haskell serializer
2005-11-25 haftmann 2005-11-25 code generator: case expressions, improved name resolving
2005-11-23 haftmann 2005-11-23 improved failure tracking
2005-11-21 haftmann 2005-11-21 added codegen package
2005-11-14 haftmann 2005-11-14 added modules for code generator generation two, not operational yet
2005-08-28 haftmann 2005-08-28 (allocating new branch)