diff src/sources @ 244:71bafe66dbe1

Laconic -> Ur
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 08:32:18 -0400
parents 8a70e2919e86
children 0236d9412ad2
line wrap: on
line diff
--- a/src/sources	Thu Aug 28 14:48:33 2008 -0400
+++ b/src/sources	Sun Aug 31 08:32:18 2008 -0400
@@ -18,8 +18,8 @@
 
 source.sml
 
-lacweb.grm
-lacweb.lex
+urweb.grm
+urweb.lex
 
 source_print.sig
 source_print.sml