src/Pure/codegen.ML
2006-10-23 haftmann 2006-10-23 switched merge_alists'' to AList.merge'' whenever appropriate
2006-10-20 haftmann 2006-10-20 Symtab.foldl replaced by Symtab.fold
2006-10-12 wenzelm 2006-10-12 print_evaluated_term: Toplevel.context_of;
2006-10-09 wenzelm 2006-10-09 moved Context.ml_output to Output.ml_output;
2006-09-21 wenzelm 2006-09-21 member (op =); ThmDatabase.is_ml_reserved; tuned oracle name;
2006-09-19 haftmann 2006-09-19 moved base setup for evaluation oracle hier
2006-09-15 wenzelm 2006-09-15 renamed Term.map_term_types to Term.map_types (cf. Term.fold_types);
2006-08-02 wenzelm 2006-08-02 removed obsolete Drule.frees/vars_of etc.;
2006-07-11 wenzelm 2006-07-11 replaced Term.variant(list) by Name.variant(_list);
2006-06-07 wenzelm 2006-06-07 renamed Type.(un)varifyT to Logic.(un)varifyT; made (un)varify strict wrt. global context -- may use legacy_(un)varify as workaround;
2006-04-29 wenzelm 2006-04-29 tuned;
2006-04-27 wenzelm 2006-04-27 tuned basic list operators (flat, maps, map_filter);
2006-04-26 wenzelm 2006-04-26 tuned;
2006-04-13 wenzelm 2006-04-13 ignore sorts of consts declarations;
2006-04-06 haftmann 2006-04-06 added definitional code generator module: codegen_theorems.ML
2006-03-21 wenzelm 2006-03-21 remove (op =);
2006-02-22 haftmann 2006-02-22 abandoned merge_alists' in favour of generic AList.merge
2006-02-15 wenzelm 2006-02-15 removed distinct, renamed gen_distinct to distinct;
2006-02-08 haftmann 2006-02-08 introduced gen_distinct in place of distinct
2006-01-26 berghofe 2006-01-26 Fixed bug in code generator for primitive definitions that caused dependencies to get mixed up.
2006-01-21 wenzelm 2006-01-21 simplified type attribute;
2006-01-19 wenzelm 2006-01-19 setup: theory -> theory;
2006-01-17 haftmann 2006-01-17 substantial improvements in code generator
2006-01-14 wenzelm 2006-01-14 generated code: raise Match instead of ERROR;
2006-01-13 wenzelm 2006-01-13 removed obsolete sign_of;
2005-12-01 berghofe 2005-12-01 assoc_consts and assoc_types now check number of arguments in template.
2005-11-29 haftmann 2005-11-29 exported customized syntax interface
2005-11-07 haftmann 2005-11-07 added proper fillin_mixfix
2005-11-07 haftmann 2005-11-07 added fillin_mixfix, replace_quote
2005-11-07 haftmann 2005-11-07 added fillin_mixfix' needed by serializer
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