From 95beeda12defe36c4d4df42d3dee3bd753e19ff5 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 26 Jan 2008 15:29:09 -0500 Subject: Rename Laconic* modules to Source* --- src/sources | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/sources') diff --git a/src/sources b/src/sources index e82c0c7e..9c879139 100644 --- a/src/sources +++ b/src/sources @@ -1,7 +1,7 @@ errormsg.sig errormsg.sml -laconic.sml +source.sml lacweb.grm lacweb.lex @@ -9,8 +9,8 @@ lacweb.lex print.sig print.sml -laconic_print.sig -laconic_print.sml +source_print.sig +source_print.sml elab.sml -- cgit v1.2.3