Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/page/dist-content/packages.content
changeset 15951 63ac2e550040
parent 15947 393cfc718433 
--- a/Admin/page/dist-content/packages.content	Wed May 11 09:50:33 2005 +0200
+++ b/Admin/page/dist-content/packages.content	Wed May 11 16:30:24 2005 +0200
@@ -128,7 +128,7 @@
 
 <h3>Other platforms</h3>
 
-<p>Although Isabelle is nativly designed for Unix environments
+<p>Although Isabelle is natively designed for Unix environments
 (e.g. Solaris, Linux), it may also run under similar, Unix-like
 platforms. The following installation instructions are hints
 contributed by Isabelle users.  Feel free to contact us for any
isabelle