equal
deleted
inserted
replaced
2 Isabelle NEWS -- history user-relevant changes |
2 Isabelle NEWS -- history user-relevant changes |
3 ============================================== |
3 ============================================== |
4 |
4 |
5 New in this Isabelle version |
5 New in this Isabelle version |
6 ---------------------------- |
6 ---------------------------- |
|
7 |
|
8 *** Overview of INCOMPATIBILITIES (see below for more details) *** |
|
9 |
|
10 * HOL: Removed the obsolete syntax "Compl A"; use -A for set complement |
7 |
11 |
8 *** General *** |
12 *** General *** |
9 |
13 |
10 * tuned current_goals_markers semantics: begin / end goal avoids |
14 * tuned current_goals_markers semantics: begin / end goal avoids |
11 printing empty lines; |
15 printing empty lines; |