src/Pure/codegen.ML
2005-09-27 berghofe 2005-09-27 Optimized unfold_attr.
2005-09-25 berghofe 2005-09-25 Fixed print mode problem in test_term.
2005-09-21 berghofe 2005-09-21 - Added eval_term function and value command - Fixed name clash problem in test_term
2005-09-20 haftmann 2005-09-20 introduced AList module in favor of assoc etc.
2005-09-15 wenzelm 2005-09-15 TableFun/Symtab: curried lookup and update;
2005-09-05 wenzelm 2005-09-05 curried_lookup/update;
2005-08-25 berghofe 2005-08-25 Implemented incremental code generation.
2005-08-16 wenzelm 2005-08-16 OuterKeyword;
2005-07-12 berghofe 2005-07-12 Implemented mechanism for attaching auxiliary code to consts_code and types_code declarations.
2005-07-01 berghofe 2005-07-01 Implemented modular code generation.
2005-06-17 wenzelm 2005-06-17 accomodate change of TheoryDataFun; accomodate identification of type Sign.sg and theory;
2005-06-11 wenzelm 2005-06-11 refer to name spaces values instead of names;
2005-06-09 wenzelm 2005-06-09 Theory.all_axioms_of;
2005-05-31 wenzelm 2005-05-31 renamed cond_extern to extern;
2005-04-21 wenzelm 2005-04-21 superceded by Pure.thy and CPure.thy;
2005-04-07 wenzelm 2005-04-07 added some, peek, trace'; tuned;
2005-03-04 skalberg 2005-03-04 Removed practically all references to Library.foldr.
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-12-10 berghofe 2004-12-10 - Exported functions new_name and new_names - Fixed incompatible signatures problem in unfold_attr
2004-11-24 berghofe 2004-11-24 Made test_term escape special characters in strings that caused the ML compiler to fail.
2004-10-26 berghofe 2004-10-26 Added preprocessors.
2004-07-09 berghofe 2004-07-09 - Removed obsolete clause in function check_str - test_term now temporarily sets print_mode to [] as well
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-06-20 wenzelm 2004-06-20 got rid of Output.output for default print mode;
2004-06-08 berghofe 2004-06-08 mk_id is now also applied to identifiers in test_term.
2004-06-01 berghofe 2004-06-01 Improved name mangling function.
2004-05-29 wenzelm 2004-05-29 Output.output;
2004-05-21 wenzelm 2004-05-21 Sign.typ_instance;
2004-04-16 berghofe 2004-04-16 Replaced quote by Library.quote, since quote now refers to Symbol.quote
2003-09-22 berghofe 2003-09-22 add_attribute now takes parser as argument.
2003-08-07 berghofe 2003-08-07 test_term now renames variable for size of test data to avoid clashes with variables already present in the term to be tested.
2003-07-28 berghofe 2003-07-28 test_term now handles Match exception raised in generated code.
2003-07-14 kleing 2003-07-14 use Library.Some/None instead of just Some/None in generated quickcheck code
2003-07-11 berghofe 2003-07-11 Added functions for random testing.
2003-03-29 berghofe 2003-03-29 Margin for pretty-printing is now a mutable reference.
2002-12-16 berghofe 2002-12-16 - Added mode reference variable (may be used to switch on and off specific code generators), together with theory syntax - First steps towards reflection: added functions mk_type and mk_term_of
2002-11-27 berghofe 2002-11-27 Parameters in definitions are now renamed to avoid clashes with reserved ML keywords.
2002-03-28 berghofe 2002-03-28 mk_const_id now checks for clashes with reserved ML identifiers.
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.