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