Admin/website/index.html
changeset 17731 c495e6029d00
parent 17692 6d277e731096
child 19094 968e95fdbf8a
     1.1 --- a/Admin/website/index.html	Fri Sep 30 10:58:11 2005 +0200
     1.2 +++ b/Admin/website/index.html	Fri Sep 30 11:43:42 2005 +0200
     1.3 @@ -44,7 +44,7 @@
     1.4            bibliography, and Isabelle workshops and courses.
     1.5            </p>
     1.6  
     1.7 -        <h2>Now available: Isabelle 2005</h2>
     1.8 +        <h2>Now available: Isabelle2005</h2>
     1.9           <p>Some highlights:</p>
    1.10                <ul>
    1.11  	      <li>Interpretation of locale expressions in theories, locales, and proof contexts.</li>