diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/develdownload.phtml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/html/develdownload.phtml b/html/develdownload.phtml index a4e3705c..01401dab 100644 --- a/html/develdownload.phtml +++ b/html/develdownload.phtml @@ -34,7 +34,9 @@ the planned changes to come. <ul> <!-- WARNING! Lines below automatically edited by makefile. --> <li> gzip'ed tar file: - <?php download_link("ProofGeneral-3.1pre000322.tar.gz") ?> + <?php download_link("ProofGeneral-3.1pre000322.tar.gz") ?>, + or the same thing in a zip file: + <?php download_link("ProofGeneral-3.1pre000322.zip") ?>, </li> <li> Linux RPM package <?php download_link("ProofGeneral-3.1pre000322-1.noarch.rpm") ?> |