diff options
Diffstat (limited to 'html/doc.html')
| -rw-r--r-- | html/doc.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/doc.html b/html/doc.html index b8c1cf54..b06b6dd2 100644 --- a/html/doc.html +++ b/html/doc.html @@ -33,7 +33,7 @@ the system Info pages. If you're considering developing Proof General, please check that you are using the documentation for the most recent development version of Proof General, available with the -on the <a href="develdownload">development download</a>. +<a href="develdownload">development download</a>. </p> <p> |