id,Summary,Status,Owner,Type,Priority,Milestone 506,Please add Proof IDE support to emacs PG,new,David Aspinall,enhancement,minor,PG-Emacs-4.3