Evaluate `val' and `var' bindings in the environment in which they were defined
[hcoop/domtool2.git] / src / reduce.sml
2014-04-27 Clinton EbadiEvaluate `val' and `var' bindings in the environment...
2007-12-15 Adam ChlipalaAdd if..then..else
2007-11-17 Adam ChlipalaMailman shortcut working
2007-11-11 Adam ChlipalaType annotations on environment variable reads
2006-12-14 Adam ChlipalaAdd external functions called during reduction
2006-09-06 Adam ChlipalaChanges before announcement to hcoop-discuss
2006-07-30 Adam ChlipalaFix indentation in GPL headers
2006-07-30 Adam ChlipalaReduction