id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc 402,Clean up customization groups/settings,David Aspinall,David Aspinall,"The customization groups for Proof General need a bit of tidying: for example, the Proof General Internals group and Prover Config group has settings which appear as CHANGED or UNINITIALIZED. These probably don't cause any problems in everyday use but are odd to users who browse Customize options. ",defect,closed,minor,PG-Emacs-4.2,2:pg-emacs,wontfix,,