diff options
| author | David Aspinall | 1999-11-22 18:38:16 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-22 18:38:16 +0000 |
| commit | d3325f5e566d2c419ae901ed59bdb8e1aa420f28 (patch) | |
| tree | 96e7745a115bcd2aef5f57bcf30b7384fbfb8686 /html | |
| parent | e55ee1eb9ff921d8d70f9689f40c0131ff6b2dba (diff) | |
Added link to eps file
Diffstat (limited to 'html')
| -rw-r--r-- | html/download.phtml | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/html/download.phtml b/html/download.phtml index 1d168537..893b5af9 100644 --- a/html/download.phtml +++ b/html/download.phtml @@ -95,12 +95,20 @@ Proof General is available in two formats: Both the tarball and the RPM package include the generic elisp code, <br> code for LEGO, Coq, and Isabelle, installation instructions -and documentation. +and documentation (in Info and HTML formats). +</p> +<p> +Documentation is available in other formats +here <?php link_root("download","here") ?>. +If you want to format the documentation yourself, +you may like to download the +<?php download_link("ProofGeneralPortrait.eps.gz", +"front page image") ?>. </p> <p> This version of Proof General has been tested -with XEmacs 20.4, XEmacs 21 and FSF Emacs 20.3. +with XEmacs 20.4, XEmacs 21.1 and FSF Emacs 20.3. It supports Coq version 6.3, LEGO version 1.3.1 and some pre-release versions of Isabelle version 99. Check the <?php fileshow("ProofGeneral-2.1/CHANGES","CHANGES"); ?> file |