From 54d7cbad02005212c4171b7d652416c75a93aa37 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 19 Oct 2008 12:47:10 -0400 Subject: Proper configuration and installation --- src/sources | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/sources') diff --git a/src/sources b/src/sources index 388e0996..897c0454 100644 --- a/src/sources +++ b/src/sources @@ -1,3 +1,6 @@ +config.sig +config.sml + search.sig search.sml @@ -119,7 +122,7 @@ mono_reduce.sml mono_shake.sig mono_shake.sml -pathcheck.sigx +pathcheck.sig pathcheck.sml cjr.sml -- cgit v1.2.3