equal
deleted
inserted
replaced
|
1 |
|
2 |
1 Isabelle NEWS -- history of user-relevant changes |
3 Isabelle NEWS -- history of user-relevant changes |
2 ================================================= |
4 ================================================= |
3 |
5 |
4 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) |
6 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) |
5 |
7 |
6 |
8 |
7 New in this Isabelle version |
9 New in this Isabelle version |
8 ---------------------------- |
10 ---------------------------- |
|
11 |
|
12 *** HOL *** |
|
13 |
|
14 * ASCII membership syntax concerning big operators for infimum |
|
15 and supremum is gone. INCOMPATIBILITY. |
|
16 |
9 |
17 |
10 |
18 |
11 New in Isabelle2019 (June 2019) |
19 New in Isabelle2019 (June 2019) |
12 ------------------------------- |
20 ------------------------------- |
13 |
21 |