diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/features.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/features.html b/html/features.html index 60ade9ac..b71ec446 100644 --- a/html/features.html +++ b/html/features.html @@ -188,7 +188,7 @@ proof assistant to add PBP support.") ?> </dd> </dl> <p> -For (even) more details of the above features, see the -<a href="doc">documentation page</a>. +For (even) more details of Proof General's features, see the manuals and +papers on the <a href="doc">documentation page</a>. </p> |