]>
Commit | Line | Data |
---|---|---|
a47b2414 JR |
1 | Index: parsing/pcoq.ml4 |
2 | *** parsing/pcoq.ml4 2002/12/15 12:10:18 1.57 | |
3 | --- parsing/pcoq.ml4 2003/10/07 14:49:25 | |
4 | *************** | |
5 | *** 108,113 **** | |
6 | --- 108,114 ---- | |
7 | type parsable = G.parsable | |
8 | let parsable = G.parsable | |
9 | let tokens = G.tokens | |
10 | + let glexer = G.glexer | |
11 | module Entry = G.Entry | |
12 | module Unsafe = G.Unsafe | |
13 |