equal
deleted
inserted
replaced
9 |
9 |
10 *** General *** |
10 *** General *** |
11 |
11 |
12 * Old-style inner comments (* ... *) within the term language are no |
12 * Old-style inner comments (* ... *) within the term language are no |
13 longer supported (legacy feature in Isabelle2018). |
13 longer supported (legacy feature in Isabelle2018). |
14 |
|
15 |
|
16 *** System *** |
|
17 |
|
18 * Isabelle server command "use_theories" supports "nodes_status_delay" |
|
19 for continuous output of node status information. The time interval is |
|
20 specified in seconds; a negative value means it is disabled (default). |
|
21 |
14 |
22 |
15 |
23 *** Isar *** |
16 *** Isar *** |
24 |
17 |
25 * More robust treatment of structural errors: begin/end blocks take |
18 * More robust treatment of structural errors: begin/end blocks take |
71 observes the official standard). |
64 observes the official standard). |
72 |
65 |
73 |
66 |
74 *** System *** |
67 *** System *** |
75 |
68 |
76 * Isabelle Server message "use_theories" terminates more robustly in the |
69 * Isabelle server command "use_theories" supports "nodes_status_delay" |
|
70 for continuous output of node status information. The time interval is |
|
71 specified in seconds; a negative value means it is disabled (default). |
|
72 |
|
73 * Isabelle Server command "use_theories" terminates more robustly in the |
77 presence of structurally broken sources: full consolidation of theories |
74 presence of structurally broken sources: full consolidation of theories |
78 is no longer required. |
75 is no longer required. |
79 |
76 |
80 |
77 |
81 |
78 |