>> Last time we checked (in the context of distributing the coq >> theorem prover), proofgeneral did not allow redistribution - that >> is, it could not even go into non-free! However, I did not check >> with the current version.
Stefan> At least the COPYING file in the main directory shows the GPL, Stefan> so I assume it is free software. I will take a deeper look Stefan> tomorrow. The mailing list announcement for the new version of PG says it is (newly) GPLed. -- Ian Zimmerman, Oakland, California, U.S.A. GPG: 433BA087 9C0F 194F 203A 63F7 B1B8 6E5A 8CA3 27DB 433B A087 EngSoc adopts market economy: cheap is wasteful, efficient is expensive. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
