The Engineering Electronic Proof project is a proposed continuation of the Proof General project, using Proof General as a vehicle to study and build new mechanisms for managing the development of electronic proof.
More details will be posted here in due course.
In the meantime, there is some related information on the Proof General Kit page about the next stages of development for Proof General.