src/Tools/Code/code_preproc.ML
2010-01-13 haftmann 2010-01-13 explicit abstract type of code certificates
2010-01-13 haftmann 2010-01-13 function transformer preprocessor applies to both code generators
2010-01-12 haftmann 2010-01-12 code certificates as integral part of code generation
2010-01-04 haftmann 2010-01-04 code cache only persists on equal theories
2010-01-04 haftmann 2010-01-04 code cache without copy; tuned
2009-12-23 haftmann 2009-12-23 reduced code generator cache to the baremost minimum
2009-12-02 haftmann 2009-12-02 tuned
2009-11-15 wenzelm 2009-11-15 permissive AList.merge -- most likely setup for theory data (beware of spurious AList.DUP);
2009-11-08 wenzelm 2009-11-08 adapted Theory_Data; tuned;
2009-10-22 haftmann 2009-10-22 map_range (and map_index) combinator
2009-10-05 haftmann 2009-10-05 tuned handling of type variable names further
2009-10-05 haftmann 2009-10-05 variables in type schemes must be renamed simultaneously with variables in equations
2009-09-30 wenzelm 2009-09-30 Sorts.of_sort_derivation: no pp here;
2009-09-09 haftmann 2009-09-09 moved eq handling in nbe into separate oracle
2009-08-10 haftmann 2009-08-10 moved all technical processing of code equations to code_thingol.ML
2009-08-10 haftmann 2009-08-10 attempt to move desymbolization to translation
2009-07-31 haftmann 2009-07-31 added a somehow clueless comment
2009-07-31 haftmann 2009-07-31 cleaned up variable desymbolification and argument expansion
2009-07-22 wenzelm 2009-07-22 merged, resolving trivial conflict;
2009-07-21 haftmann 2009-07-21 integrated add_triv_classes into evaluation stack
2009-07-21 wenzelm 2009-07-21 proper context for Display.pretty_thm etc. or old-style versions Display.pretty_thm_global, Display.pretty_thm_without_context etc.;
2009-07-14 haftmann 2009-07-14 added code_unfold_post attribute
2009-07-14 haftmann 2009-07-14 code attributes use common underscore convention
2009-07-09 wenzelm 2009-07-09 renamed structure TermSubst to Term_Subst;
2009-07-09 wenzelm 2009-07-09 renamed functor TableFun to Table, and GraphFun to Graph;
2009-07-08 haftmann 2009-07-08 tuned structure Code internally
2009-07-07 haftmann 2009-07-07 tuned interface of structure Code
2009-06-23 haftmann 2009-06-23 uniformly capitialized names for subdirectories