diff src/sources @ 109:813e5a52063d

Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 10:17:06 -0400
parents f59553dc1b6a
children 3739af9e727a
line wrap: on
line diff
--- a/src/sources	Thu Jul 10 16:05:14 2008 -0400
+++ b/src/sources	Sun Jul 13 10:17:06 2008 -0400
@@ -92,20 +92,6 @@
 mono_opt.sig
 mono_opt.sml
 
-flat.sml
-
-flat_util.sig
-flat_util.sml
-
-flat_env.sig
-flat_env.sml
-
-flat_print.sig
-flat_print.sml
-
-cloconv.sig
-cloconv.sml
-
 cjr.sml
 
 cjr_env.sig