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.