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 * Old-style inner comments (* ... *) within the term language are no |
|
13 longer supported (legacy feature in Isabelle2018). |
|
14 |
9 |
15 |
10 *** System *** |
16 *** System *** |
11 |
17 |
12 * Isabelle server command "use_theories" supports "nodes_status_delay" |
18 * Isabelle server command "use_theories" supports "nodes_status_delay" |
13 for continuous output of node status information. The time interval is |
19 for continuous output of node status information. The time interval is |