[nongnu] elpa/proof-general a61a1d8 3/3: Remove some web links for services facing imminent shutdown.

[ELPA Syncer]

branch: elpa/proof-general
commit a61a1d8e5ffa610b794535995d58adf18e9ec47b
Author: David Aspinall <David.Aspinall@ed.ac.uk>
Commit: David Aspinall <David.Aspinall@ed.ac.uk>

    Remove some web links for services facing imminent shutdown.
---
 BUGS          |  3 ---
 CHANGES       |  4 +---
 COMPATIBILITY | 20 +++++---------------
 FAQ.md        | 16 +---------------
 INSTALL       |  8 --------
 README.md     |  1 -
 6 files changed, 7 insertions(+), 45 deletions(-)

diff --git a/BUGS b/BUGS
index 4dbb42b..81db17f 100644
--- a/BUGS
+++ b/BUGS
@@ -2,9 +2,6 @@
 
 * Known Bugs and Workarounds for Proof General.
 
-For latest, see: http://proofgeneral.inf.ed.ac.uk/trac
-See also FAQ:    http://proofgeneral.inf.ed.ac.uk/FAQ
-
 The bugs here are split into problems which are generic,
 and those which only apply to particular provers.  
 
diff --git a/CHANGES b/CHANGES
index d8ea1ce..e615731 100644
--- a/CHANGES
+++ b/CHANGES
@@ -2,7 +2,6 @@
 
 This is a summary of main changes.  For details, please see
 the Git ChangeLog, the GitHub repo https://github.com/ProofGeneral/PG
-and the PG Trac http://proofgeneral.inf.ed.ac.uk/trac
 
 * Changes of Proof General 4.5 from Proof General 4.4
 
@@ -212,8 +211,7 @@ also https://wiki.ubuntu.com/Releases).
 
    https://github.com/ProofGeneral/PG
 
-   Please submit new bugs there, old bugs may stay in good old PG trac
-   for a while though: http://proofgeneral.inf.ed.ac.uk/trac
+   Please submit new bugs there.
 
 ** Coq changes
 
diff --git a/COMPATIBILITY b/COMPATIBILITY
index ba7a6c2..3bf33b3 100644
--- a/COMPATIBILITY
+++ b/COMPATIBILITY
@@ -19,14 +19,10 @@ In the major 4.0 release ** XEmacs compatibility was 
dropped **
 Running on macOS
 -------------------
 
-For tips, please see here:
-
-   http://proofgeneral.inf.ed.ac.uk/wiki/PGEmacsOnMacOSX
-
-We recommend the 24.5 build of GNU Emacs, which builds natively on macOS
-(based on the NextStep port).  Binaries are available at various
-websites (e.g., http://emacsformacosx.com), or you can build your own
-by compiling from the FSF CVS. See the Emacs Wiki at
+We recommend 24.5+ builds of GNU Emacs, which builds natively on
+macOS.  Binaries are available at various websites (e.g.,
+http://emacsformacosx.com), or you can build your own by compiling
+from the FSF CVS. See the Emacs Wiki at
 http://www.emacswiki.org/emacs/EmacsForMacOS for more.
 
 Note that macOS compatibility isn't thoroughly tested.  If you discover
@@ -37,10 +33,4 @@ add tips to the wiki page above.
 Running on Windows
 ------------------
 
-For tips, please see here:
-
-   http://proofgeneral.inf.ed.ac.uk/wiki/PGEmacsOnWindows
-
-Note that Windows compatibility isn't tested by the maintainers.  If
-you discover problems, please add notes on the Wiki page above, and
-submit patches to http://proofgeneral.inf.ed.ac.uk/trac
+Note that Windows compatibility isn't tested by the maintainers.  
diff --git a/FAQ.md b/FAQ.md
index 3aeeffc..6fc9bae 100644
--- a/FAQ.md
+++ b/FAQ.md
@@ -95,7 +95,6 @@ A. Unfortunately this is a bug in the display engine inside
    of emacs, Emacs 23.3.1 on Ubuntu 11.10, suffers.
 
    The solution is to switch to another version (e.g. Emacs 23.2).
-   (See Trac#409: <http://proofgeneral.inf.ed.ac.uk/trac/ticket/409>)
 
    You may be able to get better results with different fonts, even
    without upgrading Emacs.
@@ -141,8 +140,7 @@ A. Please check the documentation carefully, particularly 
the
    If you still cannot solve your problem, try to contact someone
    else who is using Proof General with a similar setup.  The
    best way to do this may be through the user mailing list for your
-   proof assistant.  If you think the problem is Proof General related,
-   consult the PG Wiki and Trac pages.
+   proof assistant.
 
 -----------------------------------------------------------------
 
@@ -222,18 +220,6 @@ A. Coq has a limited history for Undo.  Change
 
 -----------------------------------------------------------------
 
-Q. Can I join any mailing lists for Proof General?
-
-A. Of course, email <proofgeneral-request@informatics.ed.ac.uk>
-   with the line "subscribe" in the message body, to join the
-   users' and announcements list.
-
-   There is also a list for developers, proofgeneral-devel:
-   <http://proofgeneral.inf.ed.ac.uk/mailinglist>
-   for more details.
-
------------------------------------------------------------------
-
 Q. Emacs appears to hang when the prover process is started.
 
 A. One thing is to check the variable `comint-process-echoes` which
diff --git a/INSTALL b/INSTALL
index 8902b82..c89150c 100644
--- a/INSTALL
+++ b/INSTALL
@@ -40,14 +40,6 @@ those you don't need.
 In case of difficulty, please check the documentation in doc/, the
 notes below, the README file for each prover, and the file BUGS.  
 
-If none of these files help, then contact me via the address below.
-
-   David Aspinall,
-   LFCS, School Of Informatics,
-   University of Edinburgh.
-   Edinburgh.
-   
-   http://proofgeneral.inf.ed.ac.uk/trac
 
 
 
diff --git a/README.md b/README.md
index 753b73e..26d66a2 100644
--- a/README.md
+++ b/README.md
@@ -126,7 +126,6 @@ See:
 Links:
 
 * [https://proofgeneral.github.io/doc](https://proofgeneral.github.io/doc) for 
online documentation of Proof General
-* 
[http://proofgeneral.inf.ed.ac.uk/mailinglist](http://proofgeneral.inf.ed.ac.uk/mailinglist)
 for mailing list information
 
 Supported proof assistants: