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 * reimplemented type inference; |
7 |
9 |
8 * INSTALL text, together with ./configure and ./build scripts; |
10 * INSTALL text, together with ./configure and ./build scripts; |
9 |
11 |
10 * added token_translation interface (may translate name tokens in |
12 * added token_translation interface (may translate name tokens in |
11 arbitrary ways, dependent on their type (free, bound, tfree, ...) and |
13 arbitrary ways, dependent on their type (free, bound, tfree, ...) and |