[nongnu] branch scratch/proof-general created (now 83ba613962)

[Stefan Monnier]

monnier pushed a change to branch scratch/proof-general.

        at  83ba613962 pg-user.el: Misc cleanups from compilation warnings

This branch includes the following new commits:

       new  7567ac4a25 Try and fix Issue #800
       new  73c13d63d9 Simplify code of `pg-protected-undo`
       new  83ba613962 pg-user.el: Misc cleanups from compilation warnings