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

Re: Droit de distribuer la doc de coq



On Fri, Jan 21, 2005 at 01:39:33PM +0100, Samuel Mimram wrote:
> >>GFDL is ok, but only for the next release, so I suggest not to use it.
> Oops sorry, I read "from the next release".

:-D

-- 
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: