Admin/page/index.html
changeset 5807 bd2d9dd34dfd
parent 5806 9d30b79832e8
child 5808 f174f3be058f
equal deleted inserted replaced
5806:9d30b79832e8 5807:bd2d9dd34dfd
    27 src="munich.gif" width=48 border=0 align=right alt="[Munich]"></a>
    27 src="munich.gif" width=48 border=0 align=right alt="[Munich]"></a>
    28 This page provides general information on Isabelle, more details are
    28 This page provides general information on Isabelle, more details are
    29 available on the local Isabelle pages at <a
    29 available on the local Isabelle pages at <a
    30 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html">Cambridge</a>
    30 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html">Cambridge</a>
    31 and <a href="http://www.in.tum.de/~isabelle/munich.html">Munich</a>.
    31 and <a href="http://www.in.tum.de/~isabelle/munich.html">Munich</a>.
    32 See there for informations on projects done with Isabelle, mailing
    32 See there for information on projects done with Isabelle, mailing list
    33 list archives, research papers, the Isabelle bibliography, and
    33 archives, research papers, the Isabelle bibliography, and Isabelle
    34 Isabelle workshops and courses.
    34 workshops and courses.
    35 
    35 
    36 
    36 
    37 <h2>Obtaining Isabelle</h2>
    37 <h2>Obtaining Isabelle</h2>
    38 
    38 
    39 The latest version is <strong>Isabelle98-1</strong>, it is available
    39 The latest version is <strong>Isabelle98-1</strong>, it is available