| changeset 57695 | 987c9ceeaafd |
| parent 57693 | 8ccc4875fe4f |
| child 57737 | 72d4c00064af |
| 57694:c0fd03d13d28 | 57695:987c9ceeaafd |
|---|---|
1 Isabelle NEWS -- history of user-relevant changes |
1 Isabelle NEWS -- history of user-relevant changes |
2 ================================================= |
2 ================================================= |
3 |
|
4 New in this Isabelle version |
|
5 ---------------------------- |
|
6 |
|
7 |
|
3 |
8 |
4 New in Isabelle2014 (August 2014) |
9 New in Isabelle2014 (August 2014) |
5 --------------------------------- |
10 --------------------------------- |
6 |
11 |
7 *** General *** |
12 *** General *** |