Name                     Last modified       Size  Description

 Parent Directory         26-Oct-2005 15:18      -  
 CHANGES                  08-Feb-2002 10:52     1k  
 COPYING                  08-Feb-2002 10:52     1k  
 GPL                      08-Feb-2002 10:52    18k  
 coqweb-0.5-linux.tar.gz  16-Jul-2001 11:12   152k  
 coqweb-0.5.tar.gz        16-Jul-2001 11:12    94k  
 coqweb-0.6-LINUX.tar.gz  18-Jan-2002 09:02   154k  
 coqweb-0.6.tar.gz        18-Jan-2002 09:02    94k  
 coqweb-0.61-linux.tar.gz 08-Feb-2002 10:52   154k  
 coqweb-0.61.tar.gz       08-Feb-2002 10:52    94k  
 coqweb-man.ps.gz         08-Feb-2002 10:52    50k  

coqweb is a WEB-like tool for Coq

The invocation is

	coqweb <options and files>

It creates a single LaTeX document with both documentation and Coq 
vernacular extracted from the given files.
Documentation is inserted into Coq files as comments and thus your
files will ever compile, no matter the fact you use coqweb or not.
See the manual for options.


COPYRIGHT
=========

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