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
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

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

Reply via email to