equal
deleted
inserted
replaced
21 At least one Debugger view needs to be active to have any effect on the |
21 At least one Debugger view needs to be active to have any effect on the |
22 running ML program. |
22 running ML program. |
23 |
23 |
24 * The main Isabelle executable is managed as single-instance Desktop |
24 * The main Isabelle executable is managed as single-instance Desktop |
25 application uniformly on all platforms: Linux, Windows, Mac OS X. |
25 application uniformly on all platforms: Linux, Windows, Mac OS X. |
|
26 |
|
27 * The text overview column (status of errors, warnings etc.) is updated |
|
28 asynchronously, leading to much better editor reactivity. Moreover, the |
|
29 full document node content is taken into account. |
26 |
30 |
27 |
31 |
28 *** Isar *** |
32 *** Isar *** |
29 |
33 |
30 * Command 'obtain' binds term abbreviations (via 'is' patterns) in the |
34 * Command 'obtain' binds term abbreviations (via 'is' patterns) in the |