On Mon, 19 Dec 2011, David Aspinall wrote:

Dear PG developers,

We're considering a change of license for Proof General (Emacs) from GPL to a BSD-style license (probably the Modified BSD). The main reason for a change to a more permissive license is so that colleagues at MSR and elsewhere can collaborate more easily with us.

I don't mind either way. BSD-style licensing might give some people the warm feeling that they could in principle produce a closed version, but this is rather theoretical in practice, since there are always dependencies on GPL components.

ProofGeneral-devel mailing list

Reply via email to