diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2003-09-25 09:54:48 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2003-09-25 09:54:48 +0000 |
commit | 7de0e72d09b9c2c53425ba3d13e4c7b33e536d14 (patch) | |
tree | 589162523076467cdca9c4c7912191d875cdbd9a /html | |
parent | 96356b72fc3d5486c1ad54dc30c6cf007ecae608 (diff) |
Fix another link.
Diffstat (limited to 'html')
-rw-r--r-- | html/components.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/components.html b/html/components.html index 7d2b10e9..af48bf9c 100644 --- a/html/components.html +++ b/html/components.html @@ -38,7 +38,7 @@ This library was originally implemented by Healfdene Goguen. <p> See the files for further documentation, and <a href="adapting_13.html#SEC40">section 12.1</a> -of the <a href="adapting">Proof General adapting manual</a> +of the <a href="adaptingman">Proof General adapting manual</a> for more details. </p> |