On Sat, Sep 18, 2004 at 04:19:31PM +0200, Stefano Zacchiroli 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?
Yes, I found it by myself. Uploading in a minute. Cheers. -- Stefano Zacchiroli -*- Computer Science PhD student @ Uny Bologna, Italy [EMAIL PROTECTED],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. -!-
signature.asc
Description: Digital signature
