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
