Re: [PG-devel] Possible License Change
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. Makarius ___ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
Re: [PG-devel] Possible License Change
> If you have any concerns, please let me know. I for one only license my code under the GPL, not the BSD license. Especially for Elisp code which will always end up being linked to GPL'd code (Emacs or XEmacs, basically). I see no technical reason why people at MSR (or anywhere else for that matter) can't contribute Elisp code under the GPL. BTW, they can still contribute their own code under the BSD license, and such code can still be integrated into ProofGeneral without having to change PG's license. Stefan ___ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
[PG-devel] Possible License Change
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 expect/hope that this would not impact any of the 3rd party packagers and Linux distributions shipping Proof General. I'm waiting for University folk to discuss further with me on exact details, but wanted to check first with PG developers whether anyone would raise objection. The simplest plan is probably to switch license with the next release version. Once there is a clearer proposal for the precise license and switch plans, I'll consult on the users list. If you have any concerns, please let me know. Best wishes, - David ___ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
