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.
fix spelling;
authorwenzelm
Tue, 20 May 1997 19:32:40 +0200
changeset 3260 847c275854d4
parent 3259 667be2ebd22f
child 3261 8fe63a9cd0c7
fix spelling;
README.html file | annotate | diff | comparison | revisions 
--- a/README.html	Tue May 20 19:30:57 1997 +0200
+++ b/README.html	Tue May 20 19:32:40 1997 +0200
@@ -63,7 +63,7 @@
 <p>
 
 SML/NJ needs lots of store and disk space, but it is free.  The last
-offificial release is 0.93.
+official release is 0.93.
 
 Recent working versions may be better suited, under normal
 circumstances.  Beware of the many incompatibilities among SML/NJ
isabelle