equal
deleted
inserted
replaced
13 |
13 |
14 <ul> |
14 <ul> |
15 |
15 |
16 <li>The original jEdit look-and-feel is generally preserved, although |
16 <li>The original jEdit look-and-feel is generally preserved, although |
17 some default properties have been changed to accommodate Isabelle |
17 some default properties have been changed to accommodate Isabelle |
18 (e.g. main the text area font).</li> |
18 (e.g. the text area font).</li> |
19 |
19 |
20 <li>Formal Isabelle/Isar text is checked asynchronously while editing. |
20 <li>Formal Isabelle/Isar text is checked asynchronously while editing. |
21 The user is in full command of the editor, and the prover refrains |
21 The user is in full command of the editor, and the prover refrains |
22 from locking portions of the buffer etc.</li> |
22 from locking portions of the buffer etc.</li> |
23 |
23 |