| changeset 5207 | dd4f51adfff3 |
| parent 4987 | 257aeccdefc3 |
| child 5401 | 79d3b232d859 |
--- a/README.html Tue Jul 28 16:36:32 1998 +0200 +++ b/README.html Tue Jul 28 16:59:15 1998 +0200 @@ -15,7 +15,7 @@ This is the internal repository version of Isabelle. Starting with Isabelle98, the current line of Isabelle introduces many new features, -but also some imcompatibilities with Isabelle94. See the +but also some imcompatibilities with Isabelle94-XX. See the <tt>NEWS</tt> file in the distribution for more details.