> > 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: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
----------------------------------------------------------------
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
