Mercurial Mercurial > repos > isabelle / comparison
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 14670 f6d1a3cb9125
parent 14668 9fbeb9b0aba0
child 15482 b3f530e7aa1c
equal deleted inserted replaced
14669:00b9a5073b01 14670:f6d1a3cb9125 
   130 a page with tips</a> on how to get the core system working anyway.
 
   130 a page with tips</a> on how to get the core system working anyway.
 
   131 
   131 
   132 <p> 
   132 <p> 
   133 
   133 
   134 For a complete system we recommend to run some recent version of
 
   134 For a complete system we recommend to run some recent version of
 
   135 Linux.
 
   135 Solaris, Darwin, or Linux.
 
   136 
   136 
   137 <p>
 
   137 <p>
isabelle