From 4fc72eb7519566d62425acdcc1e30871c67a2af0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 15 Feb 2003 15:01:02 +0000
Subject: Link to CHANGES for comment on versions.

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

(limited to 'html')

diff --git a/html/develdownload.php b/html/develdownload.php
index b1a708c2..e50f492e 100644
--- a/html/develdownload.php
+++ b/html/develdownload.php
@@ -77,7 +77,9 @@ version, and notes about work-in-progress.  </p>
 <p> 
 <b>Emacs versions:</b>
 This version has been tested with XEmacs version 21.4.8 and with GNU
-Emacs 21.2.1.  XEmacs support is better tested.  Older releases of Emacs
+Emacs 21.2.1.  XEmacs support is better tested, please check
+<?php fileshow("ProofGeneral-3.5pre030204/CHANGES","CHANGES"); ?> 
+for detailed notes.  Older releases of Emacs
 <i>may</i> work, but we recommend the use of these or newer versions
 because backwards compatibility across different Emacs versions is too
 difficult to support.  If you cannot upgrade your Emacs, consider
-- 
cgit v1.2.3