equal
deleted
inserted
replaced
27 |
27 |
28 isabelle jedit -o threads=1 |
28 isabelle jedit -o threads=1 |
29 |
29 |
30 This runs Isabelle/jEdit with sequential evaluation in ML, without |
30 This runs Isabelle/jEdit with sequential evaluation in ML, without |
31 affecting stored preferences of option "threads". |
31 affecting stored preferences of option "threads". |
|
32 |
|
33 * Isabelle/jEdit provides builtin navigation support, with actions |
|
34 navigate-backwards (AS-LEFT) and navigate-forwards (AS-RIGHT). These |
|
35 actions are available via arrow icons in the Search Bar, which is now |
|
36 enabled by default. The old plugins Navigator and Code2HTML are now |
|
37 longer included. The old-fashioned toolbar, with its old Navigator |
|
38 icons, is now disabled by default. |
32 |
39 |
33 |
40 |
34 *** HOL *** |
41 *** HOL *** |
35 |
42 |
36 * Theory "HOL.Fun": |
43 * Theory "HOL.Fun": |