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.
add solaris and darwin
authorkleing
Mon, 26 Apr 2004 13:01:37 +0200
changeset 14670 f6d1a3cb9125
parent 14669 00b9a5073b01
child 14671 9e1273048068
add solaris and darwin
Admin/page/dist-content/packages.content file | annotate | diff | comparison | revisions 
--- a/Admin/page/dist-content/packages.content	Mon Apr 26 11:15:56 2004 +0200
+++ b/Admin/page/dist-content/packages.content	Mon Apr 26 13:01:37 2004 +0200
@@ -132,6 +132,6 @@
 <p> 
 
 For a complete system we recommend to run some recent version of
-Linux.
+Solaris, Darwin, or Linux.
 
 <p>
isabelle