From b1ccda26afa257d865cb03dfd84c9f125657e96d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 18 Nov 1999 17:32:44 +0000
Subject: Section on what you need for PG
---
html/download.phtml | 43 +++++++++++++++++++++++++++++++++++++++++++
1 file changed, 43 insertions(+)
(limited to 'html')
diff --git a/html/download.phtml b/html/download.phtml
index c446cce6..1d168537 100644
--- a/html/download.phtml
+++ b/html/download.phtml
@@ -28,6 +28,49 @@ you may need to download one of the
+
+
+To run Proof General, you should have:
+
+
+-
+Version 20.4 or later of XEmacs
+(this UK
+
+ftp mirror may help).
+
+or version 20.2 or later of the much poorer
+FSF GNU Emacs.
+
+Both Emacsen are available for a variety of platforms, including
+Unix variants and NT.
+
+-
+For displaying logical and mathematical symbols, the excellent
+X-Symbol
+package.
+
X-Symbol presently only works with XEmacs.
+Its use with Proof General is optional.
+
+-
+For FSF Emacs, a version of func-menu.el to get
+.
+
I haven't been able to find a recent version of this that
+works with FSF Emacs, I'd be grateful if anyone can send me
+a pointer or a hacked version which does.
+Proof General works fine without this feature.
+
+
+All these components are distributed under the
+GPL license.
+
+
+
+
+