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 *** General *** |
|
9 |
|
10 * tuned current_goals_markers semantics: begin / end goal avoids |
|
11 printing empty lines; |
|
12 |
|
13 |
|
14 New in Isabelle98-1 (October 1998) |
|
15 ---------------------------------- |
7 |
16 |
8 *** Overview of INCOMPATIBILITIES (see below for more details) *** |
17 *** Overview of INCOMPATIBILITIES (see below for more details) *** |
9 |
18 |
10 * several changes of automated proof tools; |
19 * several changes of automated proof tools; |
11 |
20 |