| changeset 47887 | 4e9c06c194d9 |
| parent 47856 | 57d1df2f2a0f |
| child 47958 | c5f7be4a1734 |
| 47862:d9a09f965dab | 47887:4e9c06c194d9 |
|---|---|
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 |
|
3 |
7 |
4 New in Isabelle2012 (May 2012) |
8 New in Isabelle2012 (May 2012) |
5 ------------------------------ |
9 ------------------------------ |
6 |
10 |
7 *** General *** |
11 *** General *** |