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