equal
deleted
inserted
replaced
1 Isabelle NEWS -- history user-relevant changes |
1 Isabelle NEWS -- history user-relevant changes |
2 ============================================== |
2 ============================================== |
3 |
3 |
4 New in this Isabelle release |
4 New in Isabelle2005 (September 2005) |
5 ---------------------------- |
5 ------------------------------------ |
6 |
6 |
7 *** General *** |
7 *** General *** |
8 |
8 |
9 * Theory headers: the new header syntax for Isar theories is |
9 * Theory headers: the new header syntax for Isar theories is |
10 |
10 |