equal
deleted
inserted
replaced
41 <p> |
41 <p> |
42 See there for information on projects done with Isabelle, |
42 See there for information on projects done with Isabelle, |
43 mailing list archives, research papers, the Isabelle |
43 mailing list archives, research papers, the Isabelle |
44 bibliography, and Isabelle workshops and courses. |
44 bibliography, and Isabelle workshops and courses. |
45 </p> |
45 </p> |
46 |
|
47 |
46 |
48 <h2>Coming soon: Isabelle 2005</h2> |
47 <h2>Coming soon: Isabelle 2005</h2> |
49 <p>New features in the upcoming Isabelle 2005 will include</p> |
48 <p>New features in the upcoming Isabelle 2005 will include</p> |
50 <ul> |
49 <ul> |
51 <li>New commands for instantiating locales</li> |
50 <li>New commands for instantiating locales</li> |
99 <p><a href="//dist/packages/Isabelle/NEWS">[Complete Changelog]</a></p> |
98 <p><a href="//dist/packages/Isabelle/NEWS">[Complete Changelog]</a></p> |
100 |
99 |
101 <h2>Download</h2> |
100 <h2>Download</h2> |
102 |
101 |
103 <p> |
102 <p> |
104 The Isabelle distribution is available |
103 The Isabelle distribution is distributed <em>for free</em> and available |
105 from several <a href="dist/index.html">mirror sites</a>. It includes |
104 from several <a href="dist/index.html">mirror sites</a>. It includes |
106 source and binary packages and browsable documentation. You can also |
105 source and binary packages and browsable documentation. You can also |
107 browse the <a href="//library/index.html">Isabelle theory library</a> |
106 browse the <a href="//library/index.html">Isabelle theory library</a> |
108 online. |
107 online. |
109 </p> |
108 </p> |
110 |
109 |