diff src/sources @ 1254:935a981f4380

Merge
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 May 2010 13:57:01 -0400
parents a7b773f1d053
children 5b5c0b552f59
line wrap: on
line diff
--- a/src/sources	Sat Apr 17 13:57:10 2010 -0400
+++ b/src/sources	Thu May 06 13:57:01 2010 -0400
@@ -169,15 +169,18 @@
 mono_shake.sig
 mono_shake.sml
 
+fuse.sig
+fuse.sml
+
+iflow.sig
+iflow.sml
+
 jscomp.sig
 jscomp.sml
 
 pathcheck.sig
 pathcheck.sml
 
-fuse.sig
-fuse.sml
-
 cjr.sml
 
 postgres.sig