equal
deleted
inserted
replaced
4 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) |
4 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) |
5 |
5 |
6 |
6 |
7 New in this Isabelle version |
7 New in this Isabelle version |
8 ---------------------------- |
8 ---------------------------- |
|
9 |
|
10 *** General *** |
|
11 |
|
12 * Isar proof results --- notably from finished 'have' or 'show' --- are |
|
13 printed as regular "writeln" message instead of "state": this follows |
|
14 toplevel results from Isabelle2023. The order of output messages has |
|
15 been fine-tuned accordingly, to show results as "urgent" message before |
|
16 state output (if enabled). This affects Isabelle/jEdit panels for Output |
|
17 vs. State in particular. |
|
18 |
9 |
19 |
10 *** HOL *** |
20 *** HOL *** |
11 |
21 |
12 * Theory "HOL.Fun": |
22 * Theory "HOL.Fun": |
13 - Added lemmas. |
23 - Added lemmas. |