diff options
author | 2002-07-02 12:26:12 +0000 | |
---|---|---|
committer | 2002-07-02 12:26:12 +0000 | |
commit | 716263806e4d240ce49287baad58feaa96c292bd (patch) | |
tree | fbae976190cb626470e7c3e4417fa88aafbe8fdc /html | |
parent | d91880d9d0f9d08653d4456cacb014a122019d09 (diff) |
Give link to develdownload for latest docs
Diffstat (limited to '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 |