Re: Looking for a sponsor for Isabelle
>> 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
The mailing list announcement for the new version of PG says it is
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.