- pl, missing dirs
[packages/coq.git] / coq-ocaml-3.07.patch
CommitLineData
a47b2414
JR
1Index: 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
This page took 0.053231 seconds and 4 git commands to generate.