Welcome to the all-new Proof General Eclipse! (beta)
Thank you for trying out Proof General Eclipse. We hope you will find it a valuable tool.
Please help us to improve it by adding comments to this wiki web site.
To find out more, see PGEclipseUserDocumentation