equal
deleted
inserted
replaced
27 naive expectation more closely, particularly wrt. abbreviations. |
27 naive expectation more closely, particularly wrt. abbreviations. |
28 INCOMPATIBILITY. |
28 INCOMPATIBILITY. |
29 |
29 |
30 |
30 |
31 *** Prover IDE -- Isabelle/Scala/jEdit *** |
31 *** Prover IDE -- Isabelle/Scala/jEdit *** |
|
32 |
|
33 * Old graph browser (Java/AWT 1.0) is superseded by improved graphview |
|
34 panel, which also includes PDF output. |
32 |
35 |
33 * Improved folding mode "isabelle" based on Isar syntax. |
36 * Improved folding mode "isabelle" based on Isar syntax. |
34 Alternatively, the "sidekick" mode may be used for document structure. |
37 Alternatively, the "sidekick" mode may be used for document structure. |
35 |
38 |
36 * Extended bracket matching based on Isar language structure. System |
39 * Extended bracket matching based on Isar language structure. System |