diff options
| -rw-r--r-- | html/devel.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/html/devel.html b/html/devel.html index 308d3534..570f2a5c 100644 --- a/html/devel.html +++ b/html/devel.html @@ -18,6 +18,8 @@ Download the latest <a href="develdownload.html">development release: <!-- WARNING! Line below automatically edited by makefile. --> <b>ProofGeneral-3.3pre010810</b></a> <!-- end WARNING --> +<br> +or <a href="ProofGeneral">browse</a> the development distribution. <br> Check the <!-- WARNING! Line below automatically edited by makefile. --> |