> 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.
ProofGeneral-devel mailing list