comparison 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
comparison
equal deleted inserted replaced
3:daa4f1d7a663 4:5c3cc348e9e6
1 errormsg.sig 1 errormsg.sig
2 errormsg.sml 2 errormsg.sml
3 3
4 laconic.sml 4 source.sml
5 5
6 lacweb.grm 6 lacweb.grm
7 lacweb.lex 7 lacweb.lex
8 8
9 print.sig 9 print.sig
10 print.sml 10 print.sml
11 11
12 laconic_print.sig 12 source_print.sig
13 laconic_print.sml 13 source_print.sml
14 14
15 elab.sml 15 elab.sml
16 16
17 search.sig 17 search.sig
18 search.sml 18 search.sml