diff options
| author | David Aspinall | 2001-08-16 15:15:58 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-16 15:15:58 +0000 |
| commit | be596dc884169f787983e4fbeaeb2b4419f40fe0 (patch) | |
| tree | b28c91e2d9cd0834fabf51d61941030a65535420 /html | |
| parent | 0b027ad8d27a0be30a34922ac62b92b2f64d6f42 (diff) | |
Add link to browse package
Diffstat (limited to 'html')
| -rw-r--r-- | html/download.html | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/html/download.html b/html/download.html index 14d7e443..1fa74d2b 100644 --- a/html/download.html +++ b/html/download.html @@ -120,6 +120,11 @@ Proof General is available as an archive and an RPM package. <?php download_link("ProofGeneral-3.2-1.src.rpm", "source RPM") ?>. </li> + <li> individual files: + <a href="ProofGeneral-3.2">browse the package here</a>. + </li> +</tr> + </ul> <p> Both the tarball and the RPM package include the generic elisp |