From d3325f5e566d2c419ae901ed59bdb8e1aa420f28 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 22 Nov 1999 18:38:16 +0000
Subject: Added link to eps file

---
 html/download.phtml | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

(limited to 'html')

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
-- 
cgit v1.2.3