equal
deleted
inserted
replaced
31 workshops and courses. |
31 workshops and courses. |
32 |
32 |
33 |
33 |
34 <h2>Obtaining Isabelle</h2> |
34 <h2>Obtaining Isabelle</h2> |
35 |
35 |
36 Several mirror sites provide the Isabelle <a |
36 The <strong><!-- _GP_ distname --></strong> distribution is available |
37 href="dist/index.html">distribution</a>, which includes source and |
37 from several <a href="dist/index.html">mirror sites</a>. It includes |
38 binary <a href="dist/packages.html">packages</a> and browsable <a |
38 source and binary packages and browsable documentation. |
39 href="dist/docs.html">documentation</a>. The current version is |
|
40 <strong><!-- _GP_ distname --></strong>. |
|
41 |
39 |
42 <p> |
40 <p> |
43 |
41 |
44 You can also browse the <a href="library/index.html">Isabelle theory |
42 You can also browse the <a href="library/index.html">Isabelle theory |
45 library</a>; the main logics are <a |
43 library</a>; the main logics are <a |