equal
deleted
inserted
replaced
4 (Note: Isabelle/jEdit shows a tree-view of this file in Sidekick.) |
4 (Note: Isabelle/jEdit shows a tree-view of this file in Sidekick.) |
5 |
5 |
6 |
6 |
7 New in this Isabelle version |
7 New in this Isabelle version |
8 ---------------------------- |
8 ---------------------------- |
|
9 |
|
10 *** Prover IDE -- Isabelle/Scala/jEdit *** |
|
11 |
|
12 * Improved scheduling for urgent print tasks (e.g. command state output, |
|
13 interactive queries) wrt. long-running background tasks. |
|
14 |
9 |
15 |
10 *** Isar *** |
16 *** Isar *** |
11 |
17 |
12 * Command 'obtain' binds term abbreviations (via 'is' patterns) in the |
18 * Command 'obtain' binds term abbreviations (via 'is' patterns) in the |
13 proof body as well, abstracted over relevant parameters. |
19 proof body as well, abstracted over relevant parameters. |