1COQ(1)                      General Commands Manual                     COQ(1)
2
3
4

NAME

6       coq-parser - Coq parser
7
8
9

SYNOPSIS

11       coq-parser [ options ]
12
13

DESCRIPTION

15       parser  is  a program reading Coq proof developments and outputing them
16       in the structured format given in the  INRIA  technical  report  RT154.
17       This program is not for the casual user.
18
19

SEE ALSO

21       coq-interface(1), coqc(1), coqtop(1), coqdep(1).
22       The Coq Reference Manual.  The Coq web site: http://coq.inria.fr
23
24
25
26                                April 25, 2001                          COQ(1)