equal
deleted
inserted
replaced
2 Isabelle NEWS -- history of user-visible changes |
2 Isabelle NEWS -- history of user-visible changes |
3 ================================================ |
3 ================================================ |
4 |
4 |
5 New in Isabelle94-8 (April 1997) |
5 New in Isabelle94-8 (April 1997) |
6 -------------------------------- |
6 -------------------------------- |
|
7 |
|
8 * INSTALLATION text, together with ./configure and ./build scripts; |
7 |
9 |
8 * added token_translation interface (may translate name tokens in |
10 * added token_translation interface (may translate name tokens in |
9 arbitrary ways, dependent on their type (free, bound, tfree, ...) and |
11 arbitrary ways, dependent on their type (free, bound, tfree, ...) and |
10 the current print_mode); |
12 the current print_mode); |
11 |
13 |