equal
deleted
inserted
replaced
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 |