COQ-TEX(1)                  General Commands Manual                 COQ-TEX(1)

<?><?><?> (NAME)
       coq-tex - <?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?> Coq
       <?><?><?><?><?><?><?><?><?> <?><?> <?><?><?><?><?><?><?><?> LaTeX

<?><?><?><?><?> <?><?><?><?><?> (SYNOPSIS)
       coq-tex [ -o output-file ] [ -n line-width ] [ -image coq-image ] [ -w
       ] [ -v ] [ -sl ] [ -hrule ] [ -small ] input-file ...

<?><?><?><?><?><?><?> (DESCRIPTION)
       <?><?><?><?><?> coq-tex <?><?><?><?><?><?><?><?><?> Coq
       <?><?><?><?><?><?><?><?><?> <?><?> <?><?><?><?><?><?><?><?> LaTeX
       <?><?> <?><?><?><?><?><?><?> <?> <?><?><?><?><?><?><?> <?><?><?><?> <?>
       <?><?><?><?><?><?> <?><?><?><?><?><?><?> <?><?> <?><?> <?><?> <?><?>
       <?><?><?><?><?> <?><?><?> <?><?><?><?><?><?>.

       <?><?> <?><?><?><?> LaTeX <?><?><?><?> <?><?><?><?><?><?><?> <?><?> Coq
       <?><?> <?><?><?><?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?>
       <?><?><?> <?><?><?>:

       coq_example
              <?><?><?><?><?><?><?><?><?> <?><?><?><?> \begin{coq_example} <?>
              \end{coq_example} <?><?><?><?><?><?><?> <?><?><?> <?> <?><?>
              <?><?><?><?> <?><?><?><?><?> <?><?><?> <?><?><?><?><?><?><?>.
              <?><?> <?><?><?><?><?> <?><?> <?><?><?><?><?><?> <?><?><?><?>
              <?><?><?><?><?> <?><?><?><?><?><?><?><?> (toplevel loop)
              <?><?><?> <?><?><?><?><?><?>.

       coq_example*
              <?><?><?><?><?><?><?><?><?> <?><?><?><?> \begin{coq_example*}
              <?> \end{coq_example*} <?><?><?><?><?><?><?> <?><?><?> <?>
              <?><?> <?><?><?><?> <?><?><?><?><?> <?><?><?>
              <?><?><?><?><?><?><?>.  <?><?><?><?><?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?><?><?>.

       coq_eval
              <?><?><?><?><?><?><?><?><?> <?><?><?><?> \begin{coq_eval} <?>
              \end{coq_eval} <?><?> <?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?><?><?> <?><?><?><?><?><?><?>.  <?><?><?><?><?>
              <?><?> <?><?><?><?> <?><?><?><?><?> <?><?><?>
              <?><?><?><?><?><?><?><?> <?> <?><?><?><?><?><?><?><?>
              <?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?><?><?><?><?>
              <?><?><?><?><?> <?><?><?><?><?><?><?>.

       <?><?> LaTeX <?><?><?><?> <?><?> <?><?><?><?> file.v.tex
       <?><?><?><?><?> <?><?><?><?><?><?><?> <?><?> <?><?><?><?><?> <?><?>
       <?><?><?> <?><?><?><?> <?><?><?><?><?> <?><?> <?><?><?> file.tex
       <?><?><?><?><?> <?><?> <?><?><?> <?><?><?> <?><?><?><?> <?><?><?>
       <?><?><?><?> <?><?><?><?><?> <?><?><?><?> <?><?><?> <?><?><?><?>
       <?><?><?><?><?> <?><?> <?><?><?><?><?> <?><?><?><?><?> `.v.tex'
       <?><?><?><?><?> <?><?><?>.

       <?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?><?><?> coq-tex
       <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?><?><?> LaTeX
       <?><?><?><?><?><?> <?><?><?><?>.  <?><?> <?><?><?><?><?><?><?><?><?>
       Coq <?> <?><?> <?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?><?><?><?>
       <?><?> <?><?><?> <?><?><?><?><?><?><?><?><?><?><?><?> (typewriter font)
       <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?>.

<?><?><?><?><?><?><?><?> (OPTIONS)
       -o output-file
              <?><?><?> <?><?><?><?><?> <?><?> <?><?><?><?> <?><?><?><?><?><?>
              <?><?> <?><?><?><?><?> LaTeX <?><?><?><?> <?><?> <?><?>
              <?><?><?><?><?> <?><?><?>.  <?><?> <?><?> <?><?><?><?> `-'
              <?><?><?><?> <?><?><?> <?><?><?><?><?> LaTeX <?><?>
              <?><?><?><?><?> <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?>.

       -n line-width
              <?><?><?> <?><?> <?><?> <?><?><?><?><?> <?><?><?><?><?><?>.
              <?><?><?><?><?> <?><?><?><?><?><?><?> <?><?> <?><?><?><?><?>
              <?><?><?>.  <?><?><?> <?><?><?><?><?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?> <?><?>
              <?><?><?> <?><?> <?><?><?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?><?><?>.  <?><?><?> <?><?><?><?><?> <?><?><?>
              <?><?><?> <?><?><?><?><?> Coq <?><?><?><?><?>
              <?><?><?><?><?><?><?>.

       -image coq-image
              <?><?><?><?> <?><?><?><?><?><?> <?><?><?><?> coq-image
              <?><?><?><?> <?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?>
              Coq <?><?><?><?> <?><?><?>.  <?><?> <?><?><?>
              <?><?><?><?><?><?><?><?> <?><?> <?><?><?><?><?> coqtop
              <?><?><?><?> <?><?><?><?><?> <?><?><?> <?><?><?><?><?>
              <?><?><?><?> <?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?>
              Coq <?><?><?><?><?><?><?> <?><?><?><?><?><?>.

       -w     <?><?><?><?> <?><?><?><?><?><?> <?><?><?><?> <?><?> <?><?><?><?>
              <?><?><?><?><?> <?><?><?> <?><?><?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?> <?><?><?><?> <?><?> <?><?> <?><?><?> <?><?><?>
              <?><?><?><?><?> <?><?> <?><?><?><?><?> <?><?><?><?><?><?><?>
              <?><?><?><?>.  <?><?> <?><?><?> <?><?><?><?><?><?><?><?>
              <?><?><?><?><?> <?><?><?><?> <?><?><?><?> <?><?><?><?> <?><?>
              <?><?><?> <?><?><?> <?><?><?><?><?> <?> <?><?>
              <?><?><?><?><?><?><?> <?><?><?> <?><?> <?><?><?><?><?>
              <?><?><?><?><?><?><?><?>.

       -v     <?><?><?><?> <?><?><?><?> (verbose).  <?><?><?><?><?><?><?><?>
              Coq <?><?> <?><?> <?><?><?><?><?> <?><?><?><?><?><?><?><?><?>
              <?><?><?> <?><?><?><?><?><?>.  <?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?> <?><?> <?><?><?><?><?><?><?><?><?> Coq
              <?><?><?><?><?><?> <?><?><?>.

       -sl    <?><?><?><?> <?><?><?><?> (slanted).  <?><?><?><?><?><?><?><?>
              Coq <?><?> <?><?><?> <?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?><?><?>.

       -hrule <?><?><?><?> <?><?><?><?> <?><?><?><?>.  <?><?><?><?><?><?><?>
              Coq <?><?><?><?> <?><?> <?><?> <?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?><?><?>.

       -small <?><?><?><?> <?><?><?> <?><?><?><?>.  <?><?><?><?><?><?><?> Coq
              <?><?> <?><?><?><?> <?><?><?><?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?><?><?>.

<?><?><?><?><?><?><?> (CAVEATS)
       <?><?><?><?><?><?><?><?><?> \begin... <?> \end... <?><?><?><?> <?><?>
       <?><?><?><?><?><?> <?><?> <?><?> <?><?> <?><?><?><?> <?><?><?><?><?><?>
       <?><?><?><?> <?><?><?> <?><?><?><?><?><?><?><?> <?><?><?> <?><?>
       <?><?><?><?><?><?><?> <?><?> <?><?> <?><?> <?><?><?><?><?><?>
       <?><?><?><?>.  <?><?> <?><?><?><?><?> Coq <?><?><?><?> <?><?> <?><?>
       `.' <?><?> <?><?><?><?><?><?> <?><?> <?><?><?><?><?> <?><?><?><?>.
       <?><?><?><?> <?><?><?><?><?><?> <?><?><?><?> <?><?><?><?> `.' <?>
       <?><?> <?><?><?><?> <?><?><?><?> <?><?><?><?> <?><?><?> <?><?>
       <?><?><?><?><?><?> <?><?><?><?> <?><?><?><?> <?><?><?><?><?><?> <?><?>
       coq-tex <?><?><?><?><?> <?><?><?><?><?> <?><?> <?><?><?><?><?><?>
       <?><?><?><?><?><?> <?><?> <?><?><?> <?><?><?> <?><?>
       <?><?><?><?><?><?><?><?><?><?><?> <?> <?><?><?> <?><?><?><?><?>
       <?><?><?><?><?><?><?> <?><?> <?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?>.  (<?><?><?><?><?><?><?> <<<?><?><?>
       <?><?><?><?><?><?><?><?>>>.)

<?><?><?><?><?><?> <?><?><?><?><?><?> (SEE ALSO)
       coqtop(1)

                                                                    COQ-TEX(1)