2006-01-19 ago setup: theory -> theory;
2006-01-17 ago substantial improvements in code generator
2006-01-14 ago generated code: raise Match instead of ERROR;
2006-01-13 ago removed obsolete sign_of;
2005-12-01 ago assoc_consts and assoc_types now check number of arguments in template.
2005-11-29 ago exported customized syntax interface
2005-11-07 ago added proper fillin_mixfix
2005-11-07 ago added fillin_mixfix, replace_quote
2005-11-07 ago added fillin_mixfix' needed by serializer
2005-09-27 ago Optimized unfold_attr.
2005-09-25 ago Fixed print mode problem in test_term.
2005-09-21 ago - Added eval_term function and value command
2005-09-20 ago introduced AList module in favor of assoc etc.
2005-09-15 ago TableFun/Symtab: curried lookup and update;
2005-09-05 ago curried_lookup/update;
2005-08-25 ago Implemented incremental code generation.
2005-08-16 ago OuterKeyword;
2005-07-12 ago Implemented mechanism for attaching auxiliary code to consts_code and
2005-07-01 ago Implemented modular code generation.
2005-06-17 ago accomodate change of TheoryDataFun;
2005-06-11 ago refer to name spaces values instead of names;
2005-06-09 ago Theory.all_axioms_of;
2005-05-31 ago renamed cond_extern to extern;
2005-04-21 ago superceded by Pure.thy and CPure.thy;
2005-04-07 ago added some, peek, trace'; tuned;
2005-03-04 ago Removed practically all references to Library.foldr.
2005-03-03 ago Move towards standard functions.
2005-02-13 ago Deleted Library.option type.
2004-12-10 ago - Exported functions new_name and new_names
2004-11-24 ago Made test_term escape special characters in strings that caused the
2004-10-26 ago Added preprocessors.
2004-07-09 ago - Removed obsolete clause in function check_str
2004-06-21 ago Merged in license change from Isabelle2004
2004-06-20 ago got rid of Output.output for default print mode;
2004-06-08 ago mk_id is now also applied to identifiers in test_term.
2004-06-01 ago Improved name mangling function.
2004-05-29 ago Output.output;
2004-05-21 ago Sign.typ_instance;
2004-04-16 ago Replaced quote by Library.quote, since quote now refers to Symbol.quote
2003-09-22 ago add_attribute now takes parser as argument.
2003-08-07 ago test_term now renames variable for size of test data to avoid clashes
2003-07-28 ago test_term now handles Match exception raised in generated code.
2003-07-14 ago use Library.Some/None instead of just Some/None in generated quickcheck code
2003-07-11 ago Added functions for random testing.
2003-03-29 ago Margin for pretty-printing is now a mutable reference.
2002-12-16 ago - Added mode reference variable (may be used to switch on and off specific
2002-11-27 ago Parameters in definitions are now renamed to avoid clashes with
2002-03-28 ago mk_const_id now checks for clashes with reserved ML identifiers.
2002-03-01 ago clarified outer syntax;
2002-01-21 ago Tuned name mangling function.
2001-12-21 ago Code generator now adds type constraints to val declarations (to make
2001-12-20 ago "code" attribute is now managed by basic code generator module.
2001-12-13 ago made SML/XL happy;
2001-12-10 ago - Added code generator interface for types
2001-11-28 ago theory data: removed obsolete finish method;
2001-11-09 ago theory data: finish method;
2001-09-01 ago tuned;
2001-08-31 ago tuned headers;
2001-08-31 ago Initial version of generic code generator.