src/Pure/codegen.ML
2002-03-01 wenzelm 2002-03-01 clarified outer syntax;
2002-01-21 berghofe 2002-01-21 Tuned name mangling function.
2001-12-21 berghofe 2001-12-21 Code generator now adds type constraints to val declarations (to make SML/NJ happy).
2001-12-20 berghofe 2001-12-20 "code" attribute is now managed by basic code generator module.
2001-12-13 wenzelm 2001-12-13 made SML/XL happy;
2001-12-10 berghofe 2001-12-10 - Added code generator interface for types - Changed type of invoke_codegen
2001-11-28 wenzelm 2001-11-28 theory data: removed obsolete finish method;
2001-11-09 wenzelm 2001-11-09 theory data: finish method;
2001-09-01 wenzelm 2001-09-01 tuned;
2001-08-31 wenzelm 2001-08-31 tuned headers;
2001-08-31 berghofe 2001-08-31 Initial version of generic code generator.