equal
deleted
inserted
replaced
45 |
45 |
46 <h2>Obtaining Isabelle</h2> |
46 <h2>Obtaining Isabelle</h2> |
47 |
47 |
48 The <strong><!-- _GP_ distname --></strong> distribution is available |
48 The <strong><!-- _GP_ distname --></strong> distribution is available |
49 from several <a href="dist/index.html">mirror sites</a>. It includes |
49 from several <a href="dist/index.html">mirror sites</a>. It includes |
50 source and binary packages and browsable documentation. |
50 source and binary packages and browsable documentation. There is also |
|
51 a nightly generated <a href="http://isabelle.in.tum.de/devel/">development |
|
52 snapshot</a> available. |
51 |
53 |
52 <p> |
54 <p> |
53 |
55 |
54 You can also browse the <a href="library/index.html">Isabelle theory |
56 You can also browse the <a href="library/index.html">Isabelle theory |
55 library</a>; the main logics are <a |
57 library</a>; the main logics are <a |