tuned;

--- a/Admin/website/index.html	Fri Sep 30 10:58:11 2005 +0200
+++ b/Admin/website/index.html	Fri Sep 30 11:43:42 2005 +0200
@@ -44,7 +44,7 @@
           bibliography, and Isabelle workshops and courses.
           </p>
 
-        <h2>Now available: Isabelle 2005</h2>
+        <h2>Now available: Isabelle2005</h2>
          <p>Some highlights:</p>
               <ul>
 	      <li>Interpretation of locale expressions in theories, locales, and proof contexts.</li>