diff options
| -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 |