equal
deleted
inserted
replaced
2 To: isabelle-users@cl.cam.ac.uk |
2 To: isabelle-users@cl.cam.ac.uk |
3 |
3 |
4 Isabelle2016-1 is now available. |
4 Isabelle2016-1 is now available. |
5 |
5 |
6 This version introduces significant changes over Isabelle2016: see the NEWS |
6 This version introduces significant changes over Isabelle2016: see the NEWS |
7 file for further details. Some notable points are as follows: |
7 file for further details. Some notable changes: |
8 |
8 |
9 * Improved Isabelle/jEdit Prover IDE: more support for formal text structure, |
9 * Improved Isabelle/jEdit Prover IDE: more support for formal text structure, |
10 more visual feedback. |
10 more visual feedback. |
11 |
11 |
12 * The Isabelle/ML IDE can load Isabelle/Pure into itself. |
12 * The Isabelle/ML IDE can load Isabelle/Pure into itself. |