Dear PG developers

I'd like to release PG 4.0 by the end of this month. Please try to get the code into a ready state and test as much as you can. This release marks a big change in the code base (removal of X-Symbol and XEmacs compatibility) and is a good chance to clean things up and remove backward compatibility for old prover versions.

 - David
ProofGeneral-devel mailing list

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

Reply via email to