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/theories.png
changeset 70111 2337a6bc5e41
parent 66684 ace3cf4e1fbd
child 73145 661e9bc0411e
equal deleted inserted replaced
70110:96a2f134f0b5 70111:2337a6bc5e41 
     1 (binary file image/png, hash: cae73eac7ca98fc1a273c7d88ca4d402c899461d)
 
     1 (binary file image/png, hash: b6ac5284f6d49bea5e0b21d29878bb80c201c2a4)
isabelle