diff options
Diffstat (limited to 'html/components.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> |