src/Pure/Isar/code.ML
2009-02-23 haftmann 2009-02-23 improved treatment of case certificates
2009-02-22 haftmann 2009-02-22 subalgebra: drop arities if desired
2009-02-20 haftmann 2009-02-20 permissive check for pattern discipline in case schemes
2009-02-18 haftmann 2009-02-18 tuned accessor name
2009-01-01 wenzelm 2009-01-01 normalized some ML type/val aliases;
2008-12-04 wenzelm 2008-12-04 renamed type Lazy.T to lazy;
2008-10-29 haftmann 2008-10-29 explicit check for pattern discipline before code translation
2008-10-28 haftmann 2008-10-28 cleanup code default attribute
2008-10-27 haftmann 2008-10-27 explicit history for equations; tuned
2008-10-23 wenzelm 2008-10-23 renamed structure Susp to Lazy, and Susp.delay to Lazy.lazy;
2008-10-23 wenzelm 2008-10-23 adapted Susp.peek;
2008-10-10 haftmann 2008-10-10 `code func` now just `code`
2008-10-07 haftmann 2008-10-07 clarified preprocessor policies
2008-09-30 haftmann 2008-09-30 clarified codegen interfaces
2008-09-29 haftmann 2008-09-29 more precise redundancy check
2008-09-26 haftmann 2008-09-26 clarified function transformator interface
2008-09-25 haftmann 2008-09-25 clarifed redundancy policy
2008-09-25 haftmann 2008-09-25 (temporary workaround)
2008-09-25 haftmann 2008-09-25 non left-linear equations for nbe
2008-09-05 haftmann 2008-09-05 different bookkeeping for code equations
2008-08-28 haftmann 2008-08-28 restructured and split code serializer module
2008-08-24 haftmann 2008-08-24 corrected cache handling for class operations
2008-07-21 haftmann 2008-07-21 added explicit purge_data
2008-07-15 haftmann 2008-07-15 tuned code theorem bookkeeping
2008-07-14 haftmann 2008-07-14 dropped junk
2008-07-14 haftmann 2008-07-14 simpsets as pre/postprocessors; generic preprocessor now named function transformators
2008-05-23 haftmann 2008-05-23 explicit type schemes for functions
2008-05-18 wenzelm 2008-05-18 moved global pretty/string_of functions from Sign to Syntax; tuned message;
2008-05-17 wenzelm 2008-05-17 structure Display: less pervasive operations;
2008-03-28 wenzelm 2008-03-28 Context.>> : operate on Context.generic;
2008-03-27 wenzelm 2008-03-27 eliminated delayed theory setup
2008-01-31 haftmann 2008-01-31 explicit del_funcs
2008-01-25 haftmann 2008-01-25 print postprocessor equations
2007-12-10 haftmann 2007-12-10 moved instance parameter management from class.ML to axclass.ML
2007-11-29 haftmann 2007-11-29 dropped dead code
2007-11-28 haftmann 2007-11-28 tuned interfaces of class module
2007-11-23 haftmann 2007-11-23 rudimentary instantiation target
2007-11-06 haftmann 2007-11-06 clarified merge
2007-10-11 wenzelm 2007-10-11 removed obsolete AxClass.params_of_class; tuned;
2007-10-09 wenzelm 2007-10-09 renamed AxClass.get_definition to AxClass.get_info (again);
2007-10-04 wenzelm 2007-10-04 replaced literal 'a by Name.aT;
2007-10-04 haftmann 2007-10-04 certificates for code generator case expressions
2007-10-04 haftmann 2007-10-04 clarified terminology
2007-09-26 wenzelm 2007-09-26 Sign.minimize/complete_sort;
2007-09-20 haftmann 2007-09-20 more permissive
2007-09-18 haftmann 2007-09-18 distinction between regular and default code theorems
2007-09-15 haftmann 2007-09-15 tuned
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