equal
deleted
inserted
replaced
6 This version improves upon Isabelle2014 in many ways, see the NEWS file in |
6 This version improves upon Isabelle2014 in many ways, see the NEWS file in |
7 the distribution for more details. Some important points are as follows. |
7 the distribution for more details. Some important points are as follows. |
8 |
8 |
9 * Improved Isabelle/jEdit Prover IDE: folding / bracket matching for Isar, |
9 * Improved Isabelle/jEdit Prover IDE: folding / bracket matching for Isar, |
10 support for BibTeX files, improved graphview panel, improved scheduling for |
10 support for BibTeX files, improved graphview panel, improved scheduling for |
11 asynchronous print commands (e.g. Slegehammer provers). |
11 asynchronous print commands (e.g. Sledgehammer provers). |
12 |
12 |
13 * Support for 'private' and 'qualified' name space modifiers. |
13 * Support for 'private' and 'qualified' name space modifiers. |
14 |
14 |
15 * Structural composition of proof methods (meth1; meth2) in Isar. |
15 * Structural composition of proof methods (meth1; meth2) in Isar. |
16 |
16 |