[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Upload of coq-doc

On Sat, Sep 18, 2004 at 03:13:00PM +0200, Samuel Mimram wrote:
> Could someone make an upload of the coq-doc package for me, which 
> corrects Stefano's remarks?

I can do it :), where is the package? svn?

Stefano Zacchiroli -*- Computer Science PhD student @ Uny Bologna, Italy
zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/
If there's any real truth it's that the entire multidimensional infinity
of the Universe is almost certainly being run by a bunch of maniacs. -!-

Attachment: signature.asc
Description: Digital signature

Reply to: