diff options
author | 2001-09-13 16:57:03 +0000 | |
---|---|---|
committer | 2001-09-13 16:57:03 +0000 | |
commit | 29d157d645953cd801f22ece61e52a4caabf4b24 (patch) | |
tree | 30585943fba1f8a3358f8c6d4f9b425a4ef79d1c /doc | |
parent | 784c5cd2ec5bea4474d7ce78c1815bed52683dcb (diff) |
Link uref nicely
Diffstat (limited to 'doc')
-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. |