coq-ocaml-3.07.patch

   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