equal
deleted
inserted
replaced
9 |
9 |
10 *** Prover IDE -- Isabelle/Scala/jEdit *** |
10 *** Prover IDE -- Isabelle/Scala/jEdit *** |
11 |
11 |
12 * Improved scheduling for urgent print tasks (e.g. command state output, |
12 * Improved scheduling for urgent print tasks (e.g. command state output, |
13 interactive queries) wrt. long-running background tasks. |
13 interactive queries) wrt. long-running background tasks. |
|
14 |
|
15 * IDE support the the source-level debugger of Poly/ML, to work with |
|
16 Isabelle/ML and official Standard ML. Configuration option "ML_debugger" |
|
17 and commands 'ML_file_debug', 'ML_file_no_debug', 'SML_file_debug', |
|
18 'SML_file_no_debug' control compilation of sources with debugging |
|
19 information. The Debugger panel allows to set breakpoints (via context |
|
20 menu), step through stopped threads, evaluate local ML expressions etc. |
|
21 At least one Debugger view needs to be active to have any effect on the |
|
22 running ML program. |
14 |
23 |
15 |
24 |
16 *** Isar *** |
25 *** Isar *** |
17 |
26 |
18 * Command 'obtain' binds term abbreviations (via 'is' patterns) in the |
27 * Command 'obtain' binds term abbreviations (via 'is' patterns) in the |