[nongnu] elpa/proof-general updated (07755c5 -> a61a1d8)

[ELPA Syncer]

elpasync pushed a change to branch elpa/proof-general.

      from  07755c5   Port pg-pgip-id to future Emacs
       new  58b6f10   Delete REGISTER
       new  a88204c   Remove references to user registration
       new  a61a1d8   Remove some web links for services facing imminent 
shutdown.


Summary of changes:
 BUGS                  |  3 ---
 CHANGES               |  4 +---
 COMPATIBILITY         | 20 +++++---------------
 FAQ.md                | 16 +---------------
 INSTALL               |  8 --------
 Makefile              |  2 +-
 README.md             |  1 -
 REGISTER              | 12 ------------
 doc/ProofGeneral.texi |  3 +--
 9 files changed, 9 insertions(+), 60 deletions(-)
 delete mode 100644 REGISTER