equal
deleted
inserted
replaced
1 Isabelle NEWS -- history of user-relevant changes |
1 Isabelle NEWS -- history of user-relevant changes |
2 ================================================= |
2 ================================================= |
3 |
3 |
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 |
|
6 |
|
7 New in this Isabelle version |
|
8 ---------------------------- |
|
9 |
|
10 |
5 |
11 |
6 |
12 New in Isabelle2021 (February 2021) |
7 New in Isabelle2021 (February 2021) |
13 ----------------------------------- |
8 ----------------------------------- |
14 |
9 |