| changeset 60006 | fd9191f0d323 |
| parent 59998 | c54d36be22ef |
| child 60009 | bd1c342dbbce |
| 60005:e1d8c5099bef | 60006:fd9191f0d323 |
|---|---|
1 Isabelle NEWS -- history of user-relevant changes |
1 Isabelle NEWS -- history of user-relevant changes |
2 ================================================= |
2 ================================================= |
3 |
|
4 (Note: Isabelle/jEdit shows a tree-view of this file in Sidekick.) |
|
5 |
|
3 |
6 |
4 New in this Isabelle version |
7 New in this Isabelle version |
5 ---------------------------- |
8 ---------------------------- |
6 |
9 |
7 *** General *** |
10 *** General *** |