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