diff options
| author | David Aspinall | 2001-08-16 15:16:16 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-16 15:16:16 +0000 |
| commit | 0d5b927ab9f69e7d7dc9e7a2721ac4bb7952b520 (patch) | |
| tree | 05434b845e4e690270dceb6d1705f43db3814c54 | |
| parent | be596dc884169f787983e4fbeaeb2b4419f40fe0 (diff) | |
Add link to browse files
| -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. --> |