diff options
| -rw-r--r-- | doc/PG-adapting.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index 5f3ddcfa..08bb5b37 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -1820,7 +1820,7 @@ output format. The goals buffer settings allow configuration of Proof General for proof by pointing or similar features. -See the Proof General documentation page (@uref{http://www.proofgeneral.org/doc}) +See the Proof General @uref{http://www.proofgeneral.org/doc, documentation web page} for a link to the technical report ECS-LFCS-97-368 which hints at how to use these settings. |