# HG changeset patch
# User wenzelm
# Date 969314393 -7200
# Node ID 2ff14fc9257049a1fd03ac2b54c1840b92734c30
# Parent  65ab57cff7874a1523d9b3c1c09ff4157ada7c20
tuned;

diff -r 65ab57cff787 -r 2ff14fc92570 Admin/page/dist-content/packages.content
--- a/Admin/page/dist-content/packages.content	Mon Sep 18 23:53:27 2000 +0200
+++ b/Admin/page/dist-content/packages.content	Mon Sep 18 23:59:53 2000 +0200
@@ -23,8 +23,8 @@
 href="http://www.dcs.ed.ac.uk/home/proofgen/">Proof General</a>
 together with the (optional) <a
 href="http://www.fmi.uni-passau.de/~wedler/x-symbol/">X-Symbol</a>
-package.  Both of these require a recent version of <a
-href="http://www.xemacs.org">XEmacs</a> (e.g. version 21).
+package.  Both of these should be used with a recent version of <a
+href="http://www.xemacs.org">XEmacs</a> (e.g. version 21.1).
 
 <p>