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.
src/Doc/JEdit/document/query.png
changeset 70111 2337a6bc5e41
parent 62154 b855771b3979
child 73145 661e9bc0411e
equal deleted inserted replaced
70110:96a2f134f0b5 70111:2337a6bc5e41 
     1 (binary file image/png, hash: b39e8c27aac432b9f4c09b7e9e32835314e4f13e)
 
     1 (binary file image/png, hash: 2c87c3aece52d68ca2f4bdd10fe9737812252d87)
isabelle