src/Tools/code/code_funcgr.ML
2008-07-15 haftmann 2008-07-15 tuned code theorem bookkeeping
2008-06-10 haftmann 2008-06-10 major refactorings in code generator modules
2008-05-26 haftmann 2008-05-26 permissive wrt. instantiation of class operations
2008-05-23 haftmann 2008-05-23 more permissive preprocessor
2008-05-18 wenzelm 2008-05-18 moved global pretty/string_of functions from Sign to Syntax;
2008-05-17 wenzelm 2008-05-17 structure Display: less pervasive operations;
2008-04-22 haftmann 2008-04-22 more general evaluation combinators
2008-04-13 wenzelm 2008-04-13 Sorts.class_error: produce message only (formerly msg_class_error);
2008-04-02 haftmann 2008-04-02 canonical meet_sort operation
2008-03-19 haftmann 2008-03-19 error tuning
2007-12-10 haftmann 2007-12-10 moved instance parameter management from class.ML to axclass.ML
2007-11-28 haftmann 2007-11-28 tuned interfaces of class module
2007-10-19 haftmann 2007-10-19 tuned
2007-10-11 wenzelm 2007-10-11 removed obsolete AxClass.params_of_class; tuned;
2007-10-04 haftmann 2007-10-04 clarified relationship of code generator conversions and evaluations
2007-09-25 wenzelm 2007-09-25 tuned functor application;
2007-08-24 haftmann 2007-08-24 overloaded definitions accompanied by explicit constants
2007-08-15 haftmann 2007-08-15 tuned
2007-08-10 haftmann 2007-08-10 new structure for code generator modules