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 * Session-qualified theory names are mandatory: it is no longer possible |
|
13 to refer to unqualified theories from the parent session. |
|
14 INCOMPATIBILITY for old developments that have not been updated to |
|
15 Isabelle2017 yet (using the "isabelle imports" tool). |
|
16 |
9 |
17 |
10 *** HOL *** |
18 *** HOL *** |
11 |
19 |
12 * SMT module: |
20 * SMT module: |
13 - The 'smt_oracle' option is now necessary when using the 'smt' method |
21 - The 'smt_oracle' option is now necessary when using the 'smt' method |