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/source.content
changeset 9934 aea053733eb0
parent 9920 9734f2717203
child 10006 ede5f78b9398
equal deleted inserted replaced
9933:9feb1e0c4cb3 9934:aea053733eb0 
    19 
    19 
    20 <p>
 
    20 <p>
 
    21 
    21 
    22 Please see the Isabelle <!-- _GP_ href(distname . "/README.html",
 
    22 Please see the Isabelle <!-- _GP_ href(distname . "/README.html",
 
    23 "README") --> and <!-- _GP_ href(distname . "/INSTALL", "INSTALL") -->
 
    23 "README") --> and <!-- _GP_ href(distname . "/INSTALL", "INSTALL") -->
 
    24 files for more information.
 
    24 files for more information.  See the <!-- _GP_ href(distname
 
       
    25 . "/NEWS", "NEWS") --> file for a history user-relevant changes.
 
    25 
    26 
    26 <p>
 
    27 <p>
 
    27 
    28 
    28 Use the mailing list <a
 
    29 Use the mailing list <a
 
    29 href="mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a>
 
    30 href="mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a>
isabelle