equal
deleted
inserted
replaced
54 <li>Commands for generating adhoc draft documents.</li> |
54 <li>Commands for generating adhoc draft documents.</li> |
55 <li>Support for Unicode proof documents (UTF-8).</li> |
55 <li>Support for Unicode proof documents (UTF-8).</li> |
56 <li>Major internal reorganizations and performance improvements.</li> |
56 <li>Major internal reorganizations and performance improvements.</li> |
57 </ul> |
57 </ul> |
58 |
58 |
59 <p><a href="//dist/packages/Isabelle/NEWS">[Cumulative NEWS]</a></p> |
59 <p><a href="//dist/Isabelle/NEWS">[Cumulative NEWS]</a></p> |
60 |
60 |
61 <h2>Download</h2> |
61 <h2>Download</h2> |
62 |
62 |
63 <p> |
63 <p> |
64 Isabelle is distributed for free under the BSD license. It includes |
64 Isabelle is distributed for free under the BSD license. It includes |