log src/especialize.sml

age author description
Tue, 15 Dec 2009 12:26:00 -0500 Adam Chlipala Initial generalization of Especialize, with security bug known
Thu, 21 May 2009 11:45:04 -0400 Adam Chlipala Change List.mapM' to avoid leaving functions around
Sat, 16 May 2009 12:41:33 -0400 Adam Chlipala Fix a Core_untangle bug that missed closure variable references; XHTMLize