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/Tools/jEdit/PIDE.png
changeset 55637 79a43f8e18a3
parent 55610 9066b603dff6
parent 55636 9d120886c50b
child 55638 9b1805ff3aae
equal deleted inserted replaced
55610:9066b603dff6 55637:79a43f8e18a3 
     1 (binary file image/png, hash: 906c7a3bc8d514d08e71c1a6a3c20e61adc5eea5)
isabelle