[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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
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.

Reply to: