Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
version under control of Admin/makedist;
authorwenzelm
Thu, 28 May 1998 12:23:11 +0200
changeset 4980 a5b90f34a05c
parent 4979 8b94f31a3022
child 4981 9703ba0e9122
version under control of Admin/makedist;
README.html file | annotate | diff | comparison | revisions 
--- a/README.html	Thu May 28 12:22:37 1998 +0200
+++ b/README.html	Thu May 28 12:23:11 1998 +0200
@@ -13,8 +13,8 @@
 
 <h2>Version information</h2>
 
-This is <strong>Isabelle98</strong> as of January 1998.  Compared to
-the Isabelle94 line it introduces many new features, but also some
+This is an internal working version of Isabelle.  Compared to the
+Isabelle94 line it introduces many new features, but also some
 imcompatibilities.  See the <tt>NEWS</tt> file in the distribution for
 more details.
isabelle