equal
deleted
inserted
replaced
1 Isabelle NEWS -- history user-relevant changes |
1 Isabelle NEWS -- history user-relevant changes |
2 ============================================== |
2 ============================================== |
|
3 |
|
4 New in this Isabelle version |
|
5 ---------------------------- |
|
6 |
|
7 |
3 |
8 |
4 New in Isabelle2013-1 (November 2013) |
9 New in Isabelle2013-1 (November 2013) |
5 ------------------------------------- |
10 ------------------------------------- |
6 |
11 |
7 *** General *** |
12 *** General *** |