# 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 together with the (optional) X-Symbol -package. Both of these require a recent version of XEmacs (e.g. version 21). +package. Both of these should be used with a recent version of XEmacs (e.g. version 21.1).