diff src/sources @ 378:168667cdaa95

Proper configuration and installation
author Adam Chlipala <adamc@hcoop.net>
date Sun, 19 Oct 2008 12:47:10 -0400
parents 78358e5df273
children 758304561b60
line wrap: on
line diff
--- a/src/sources	Sun Oct 19 12:12:59 2008 -0400
+++ b/src/sources	Sun Oct 19 12:47:10 2008 -0400
@@ -1,3 +1,6 @@
+config.sig
+config.sml
+
 search.sig
 search.sml
 
@@ -119,7 +122,7 @@
 mono_shake.sig
 mono_shake.sml
 
-pathcheck.sigx
+pathcheck.sig
 pathcheck.sml
 
 cjr.sml