| changeset 37383 | 22757d15cd86 |
| parent 37352 | c4f393759c59 |
| child 37387 | 3581483cca6c |
| 37359:7b0ccc20cddc | 37383:22757d15cd86 |
|---|---|
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 Isabelle2009-2 (June 2010) |
9 New in Isabelle2009-2 (June 2010) |
5 --------------------------------- |
10 --------------------------------- |
6 |
11 |
7 *** General *** |
12 *** General *** |