Re: COQ 8.0

[Ralf Treinen <treinen@club-internet.fr>]

On Thu, Apr 29, 2004 at 11:57:02AM +0200, Claudio Sacerdoti Coen wrote:
> > > I had started to work on it but stopped when I learned that coq 8.0
> > > combines GPL code with QPL code. 
> 
>  I didn't know about that. I have just rgrep-ed QPL in the Coq V8.0 source
>  tree (CVS version) and I have found no instance of the word QPL.
>  What informations have you got exactly?

Try

grep -r "Q Public License" coq-8.0beta

-Ralf.
--