# HG changeset patch
# User haftmann
# Date 1115647365 -7200
# Node ID dd7b303465a265dcc0ac07a3d177d882f2741e4e
# Parent  55c3932335b9826b55f07dc0425e8a8c74d97c6c
minor corrections

diff -r 55c3932335b9 -r dd7b303465a2 Admin/page/dist-content/packages.content
--- a/Admin/page/dist-content/packages.content	Mon May 09 02:03:48 2005 +0200
+++ b/Admin/page/dist-content/packages.content	Mon May 09 16:02:45 2005 +0200
@@ -23,7 +23,8 @@
 href="http://x-symbol.sourceforge.net">X-Symbol</a> package.  It
 should be used with a recent version of <a
 href="http://www.xemacs.org">XEmacs 21</a> or <a 
-href="http://www.gnu.org/software/emacs/emacs.html">GNU Emacs 21</a>. 
+href="http://www.gnu.org/software/emacs/emacs.html">GNU Emacs 21</a> (with
+Mule enabled).
 
 <p>
 
diff -r 55c3932335b9 -r dd7b303465a2 Admin/page/dist-content/past.content
--- a/Admin/page/dist-content/past.content	Mon May 09 02:03:48 2005 +0200
+++ b/Admin/page/dist-content/past.content	Mon May 09 16:02:45 2005 +0200
@@ -4,7 +4,7 @@
 %body%
 <p> 
 
-Past releases of Isabelle are available from the Cambrige archive:
+Past releases of Isabelle are available from the Cambridge archive:
 
 <ul>
 <li><a href="http://www.cl.cam.ac.uk/users/lcp/archive/Isabelle2003.tar.gz">Isabelle2003</a></li>