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.
ProofGeneral-devel mailing list
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.