Mercurial > urweb
diff src/sources @ 4:5c3cc348e9e6
Rename Laconic* modules to Source*
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 26 Jan 2008 15:29:09 -0500 |
parents | daa4f1d7a663 |
children | 258261a53842 |
line wrap: on
line diff
--- a/src/sources Sat Jan 26 15:26:12 2008 -0500 +++ b/src/sources Sat Jan 26 15:29:09 2008 -0500 @@ -1,7 +1,7 @@ errormsg.sig errormsg.sml -laconic.sml +source.sml lacweb.grm lacweb.lex @@ -9,8 +9,8 @@ print.sig print.sml -laconic_print.sig -laconic_print.sml +source_print.sig +source_print.sml elab.sml