# HG changeset patch
# User wenzelm
# Date 910357494 -3600
# Node ID bd2d9dd34dfd49d28393657ee141c9b4b54ee585
# Parent  9d30b79832e8b28bfa4b554b33f753c1b62b4f80
spell check;

diff -r 9d30b79832e8 -r bd2d9dd34dfd Admin/page/index.html
--- a/Admin/page/index.html	Fri Nov 06 13:58:59 1998 +0100
+++ b/Admin/page/index.html	Fri Nov 06 14:04:54 1998 +0100
@@ -29,9 +29,9 @@
 available on the local Isabelle pages at <a
 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html">Cambridge</a>
 and <a href="http://www.in.tum.de/~isabelle/munich.html">Munich</a>.
-See there for informations on projects done with Isabelle, mailing
-list archives, research papers, the Isabelle bibliography, and
-Isabelle workshops and courses.
+See there for information on projects done with Isabelle, mailing list
+archives, research papers, the Isabelle bibliography, and Isabelle
+workshops and courses.
 
 
 <h2>Obtaining Isabelle</h2>