Name                       Last modified       Size  Description

 Parent Directory           26-Oct-2005 15:18      -  
 CHANGES                    17-Sep-2003 15:24     3k  
 COPYING                    17-Sep-2003 15:24     1k  
 GPL                        17-Sep-2003 15:24    18k  
 coqdoc-0.1-linux.tar.gz    18-Feb-2002 16:34   153k  
 coqdoc-0.1.tar.gz          18-Feb-2002 16:16    45k  
 coqdoc-0.2-linux.tar.gz    19-Feb-2002 16:14   154k  
 coqdoc-0.2.tar.gz          19-Feb-2002 16:14    46k  
 coqdoc-0.3-linux.tar.gz    15-Mar-2002 11:29   154k  
 coqdoc-0.3.tar.gz          15-Mar-2002 11:29    47k  
 coqdoc-0.4-linux.tar.gz    05-Apr-2002 13:41   154k  
 coqdoc-0.4.tar.gz          05-Apr-2002 13:41    47k  
 coqdoc-0.5-linux.tar.gz    06-Sep-2002 16:28   160k  
 coqdoc-0.5.tar.gz          06-Sep-2002 16:28    49k  
 coqdoc-0.6-linux.tar.gz    04-Dec-2002 10:34   160k  
 coqdoc-0.6.tar.gz          04-Dec-2002 10:34    50k  
 coqdoc-0.7-linux.tar.gz    12-May-2003 17:20   170k  
 coqdoc-0.7.tar.gz          12-May-2003 17:20    56k  
 coqdoc-1.0-linux.tar.gz    10-Jul-2003 16:02   188k  
 coqdoc-1.0.tar.gz          10-Jul-2003 16:02    62k  
 coqdoc-1.01-linux.tar.gz   15-Jul-2003 11:01   216k  
 coqdoc-1.01.tar.gz         15-Jul-2003 11:01    64k  
 coqdoc-1.02-linux.tar.gz   16-Jul-2003 14:49   217k  
 coqdoc-1.02.tar.gz         16-Jul-2003 14:49    64k  
 coqdoc-1.03-SOLARIS.tar.gz 17-Jul-2003 10:14   286k  
 coqdoc-1.03-linux.tar.gz   17-Jul-2003 09:48   218k  
 coqdoc-1.03.tar.gz         17-Jul-2003 09:48    65k  
 coqdoc-1.04-SOLARIS.tar.gz 28-Aug-2003 15:28   289k  
 coqdoc-1.04-linux.tar.gz   28-Aug-2003 15:27   221k  
 coqdoc-1.04.tar.gz         28-Aug-2003 15:27    67k  
 coqdoc-1.05-SOLARIS.tar.gz 17-Sep-2003 15:24   289k  
 coqdoc-1.05-linux.tar.gz   17-Sep-2003 15:24   222k  
 coqdoc-1.05.tar.gz         17-Sep-2003 15:24    68k  
 manual.ps.gz               21-Oct-2003 16:57    48k  

coqdoc is a documentation tool for Coq

The invocation is

	coqdoc <options and files>

"coqdoc --help" lists the options.

See the enclosed manual for details.


COPYRIGHT
=========

This program is distributed under the GNU GPL. 
See the enclosed file COPYING.