equal
deleted
inserted
replaced
1 |
1 |
2 Isabelle NEWS -- history user-relevant changes |
2 Isabelle NEWS -- history user-relevant changes |
3 ============================================== |
3 ============================================== |
4 |
4 |
5 New in Isabelle2001 (December 2001) |
5 New in Isabelle2002 (January 2002) |
6 ----------------------------------- |
6 ---------------------------------- |
7 |
7 |
8 *** Document preparation *** |
8 *** Document preparation *** |
9 |
9 |
10 * greatly simplified document preparation setup, including more |
10 * greatly simplified document preparation setup, including more |
11 graceful interpretation of isatool usedir -i/-d/-D options, and more |
11 graceful interpretation of isatool usedir -i/-d/-D options, and more |