diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-09-03 12:54:52 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-09-03 12:54:52 +0000 |
| commit | 4fbdf80098ef9a7014fa164b4225164f909e5277 (patch) | |
| tree | bb8410ccc8fc0f7c487b7ed1422cdaa6a6d5efe1 /html | |
| parent | 91150509614284e1cb3d08f72ee6fa26a492d31d (diff) | |
Text
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> |