From 031876435b4b287f17ff74dbbc4999c80b91161b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 22 Feb 2003 18:16:06 +0000
Subject: Say Coq 7.4

---
 html/develdownload.php | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

(limited to 'html')

diff --git a/html/develdownload.php b/html/develdownload.php
index e15ede21..5f423a8e 100644
--- a/html/develdownload.php
+++ b/html/develdownload.php
@@ -87,9 +87,18 @@ using an <a href="oldrel.php">older release</a> of Proof General.
 </p> 
 <p>
 <b>Prover versions:</b>
-This version has been tested with Coq 7.3, Isabelle2002, Lego 1.3.1,
+This version has been tested with Coq 7.4, Isabelle2002, Lego 1.3.1,
 and PhoX 0.8.
 </p>
+<b>Bundled packages:</b>
+Proof General is now bundled with several Emacs packages, to
+save the effort needed of installing them separately, and to
+solve compatibility problems.  
+This <b>includes X-Symbol</b>, so you don't need to download
+it separately any more.  If you want to override PG's preference
+for it's own packages, simply load your versions into memory
+before starting Proof General (e.g. with <tt>(require 'x-symbol)</tt>
+in your <tt>.emacs</tt> file).
 <p>
 For install instructions, see 
 the <a href="download#install">stable version download</a>.
-- 
cgit v1.2.3