comparison src/lacweb.grm @ 4:5c3cc348e9e6

Rename Laconic* modules to Source*
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 15:29:09 -0500
parents 4202f6eda946
children 38bf996e1c2e
comparison
equal deleted inserted replaced
3:daa4f1d7a663 4:5c3cc348e9e6
25 * POSSIBILITY OF SUCH DAMAGE. 25 * POSSIBILITY OF SUCH DAMAGE.
26 *) 26 *)
27 27
28 (* Grammar for Laconic/Web programs *) 28 (* Grammar for Laconic/Web programs *)
29 29
30 open Laconic 30 open Source
31 31
32 val s = ErrorMsg.spanOf 32 val s = ErrorMsg.spanOf
33 33
34 %% 34 %%
35 %header (functor LacwebLrValsFn(structure Token : TOKEN)) 35 %header (functor LacwebLrValsFn(structure Token : TOKEN))