src/Tools/code/code_ml.ML
2009-05-12 haftmann 2009-05-12 tuned exception code
2009-05-07 haftmann 2009-05-07 dropped explicit suppport for frees in evaluation conversion stack
2009-05-06 haftmann 2009-05-06 explicit type arguments in constants
2009-05-06 haftmann 2009-05-06 explicit type arguments in constants
2009-04-24 haftmann 2009-04-24 generic postprocessing scheme for term evaluations
2009-04-22 haftmann 2009-04-22 code_datatype antiquotation; tuned
2009-04-17 haftmann 2009-04-17 re-engineering of evaluation conversions
2009-04-17 haftmann 2009-04-17 simplified code
2009-03-23 wenzelm 2009-03-23 more systematic type use_context;
2009-03-23 wenzelm 2009-03-23 more systematic type use_context, with particular values ML_Parse.global_context and ML_Context.local_context;
2009-03-22 haftmann 2009-03-22 clarified relationship of modules Code_Name and Code_Printer
2009-03-08 wenzelm 2009-03-08 moved basic algebra of long names from structure NameSpace to Long_Name;
2009-03-05 wenzelm 2009-03-05 renamed NameSpace.base to NameSpace.base_name; renamed NameSpace.map_base to NameSpace.map_base_name; eliminated alias Sign.base_name = NameSpace.base_name;
2009-02-17 haftmann 2009-02-17 unified variable names in case expressions; no exponential fork in translation of case expressions
2008-12-31 wenzelm 2008-12-31 use regular Term.add_vars, Term.add_frees etc.;
2008-12-29 haftmann 2008-12-29 eliminated fun/val confusion
2008-12-27 haftmann 2008-12-27 tackling simultaneous val/fun bindings
2008-12-04 wenzelm 2008-12-04 renamed type Lazy.T to lazy;
2008-11-13 haftmann 2008-11-13 dropped superfluos eval_conv
2008-11-10 haftmann 2008-11-10 tuned
2008-10-29 haftmann 2008-10-29 explicit check for pattern discipline before code translation
2008-10-28 haftmann 2008-10-28 slightly tuned
2008-10-23 wenzelm 2008-10-23 renamed structure Susp to Lazy, and Susp.delay to Lazy.lazy;
2008-10-22 haftmann 2008-10-22 code identifier namings are no longer imperative
2008-09-25 haftmann 2008-09-25 non left-linear equations for nbe
2008-09-17 wenzelm 2008-09-17 ML_Context.evaluate: proper context (for ML environment); use_text/use_file now depend on explicit ML name space;
2008-09-01 haftmann 2008-09-01 restructured code generation of literals
2008-08-28 haftmann 2008-08-28 restructured and split code serializer module