Re: COQ 8.0

[Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>]

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

 					Cheers,
					C.S.C.

-- 
----------------------------------------------------------------
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: sacerdot@cs.unibo.it
http://www.cs.unibo.it/~sacerdot
----------------------------------------------------------------