--- 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>
--- 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>