src/Pure/Tools/codegen_package.ML
2006-01-19 ago setup: theory -> theory;
2006-01-18 ago substantial improvement in serialization handling
2006-01-17 ago substantial improvements in code generator
2005-12-29 ago slight improvements
2005-12-28 ago slightly improved serialization
2005-12-27 ago substantial improvements in code generating
2005-12-21 ago slight improvements
2005-12-21 ago slight improvements in name handling
2005-12-12 ago improvements in class and eq handling
2005-12-09 ago substantial improvements for class code generation
2005-12-06 ago improved serialization of classes to haskell
2005-12-06 ago improved class handling
2005-12-02 ago various improvements
2005-12-02 ago introduced new map2, fold
2005-11-30 ago minor improvements
2005-11-29 ago added haskell serializer
2005-11-25 ago code generator: case expressions, improved name resolving
2005-11-23 ago improved failure tracking
2005-11-21 ago added codegen package
2005-11-14 ago added modules for code generator generation two, not operational yet
2005-08-28 ago (allocating new branch)