Mercurial > urweb

diff src/sources @ 520:3f20c22098af

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Untangle and shake within Especialize loop
author Adam Chlipala <adamc@hcoop.net>
date Thu, 27 Nov 2008 12:04:54 -0500
parents 65d8541c130b
children 1901db85acb4
line wrap: on
line diff
--- a/src/sources	Thu Nov 27 11:40:13 2008 -0500
+++ b/src/sources	Thu Nov 27 12:04:54 2008 -0500
@@ -99,12 +99,12 @@
 reduce_local.sig
 reduce_local.sml
 
+core_untangle.sig
+core_untangle.sml
+
 especialize.sig
 especialize.sml
 
-core_untangle.sig
-core_untangle.sml
-
 defunc.sig
 defunc.sml