branch: elpa/proof-general
commit a61a1d8e5ffa610b794535995d58adf18e9ec47b
Author: David Aspinall <david.aspin...@ed.ac.uk>
Commit: David Aspinall <david.aspin...@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-requ...@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:
