diff options
Diffstat (limited to 'html/doc.html')
-rw-r--r-- | html/doc.html | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/html/doc.html b/html/doc.html index 3f092ade..f072c0fd 100644 --- a/html/doc.html +++ b/html/doc.html @@ -36,7 +36,12 @@ Note that both manuals (in HTML and Info formats) are included in the is available from the "Proof General" menu. It should also appear in the system Info pages. </p> - +<p> +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 +<a href="develdownload">here</a>. +</p> <p> You can discuss Proof General with other users and receive |