2008-06-18 ago simplified TypeInfer.infer_types;
2008-06-10 ago major refactorings in code generator modules
2008-05-23 ago explicit type schemes for functions
2008-05-18 ago command 'normal_form': proper context via Variable.auto_fixes;
2008-05-17 ago cat_lines;
2008-04-24 ago moved 'trivial classes' to foundation of code generator
2008-04-22 ago different handling of eq class for nbe
2008-02-13 ago using integers for pattern matching
2008-01-29 ago cleaned up evaluation interfaces
2008-01-22 ago tuned
2008-01-21 ago tuned
2008-01-18 ago improved implementation
2008-01-08 ago tuned comment
2007-10-26 ago replaced Secure.evaluate by ML_Context.evaluate;
2007-10-25 ago clarified implementation
2007-10-24 ago fixed typo
2007-10-19 ago now employing dictionaries
2007-10-19 ago tuned CRITICAL markups;
2007-10-18 ago evaluation is CRITICAL
2007-10-09 ago generic Syntax.pretty/string_of operations;
2007-10-06 ago simplified interfaces for outer syntax;
2007-10-04 ago step towards proper purge operation
2007-09-25 ago tuned functor application;
2007-09-23 ago TypeInfer.constrain: canonical argument order;
2007-09-18 ago simplified PrintMode interfaces;
2007-09-17 ago avoid direct access to print_mode;
2007-09-15 ago delayed evaluation
2007-09-01 ago replaced ProofContext.read_term/prop by general Syntax.read_term/prop;
2007-08-30 ago replaced ProofContext.infer_types by general Syntax.check_terms;
2007-08-24 ago overloaded definitions accompanied by explicit constants
2007-08-21 ago improved evaluation interface
2007-08-20 ago explizit dependencies
2007-08-16 ago added evaluation examples
2007-08-15 ago tuned
2007-08-10 ago new structure for code generator modules
2007-08-07 ago new nbe implementation
2007-08-06 ago nbe improved