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/website/img/world_map_large.gif
changeset 19921 2a48a5550045
parent 19554 bc0bef4a124e
child 19940 906c887ed587
equal deleted inserted replaced
19920:8257e52164a1 19921:2a48a5550045 
     1 (binary file image/gif, hash: 89fa21d8c217f98fb34ced12961942a8f211d78c)
 
     1 (binary file image/gif, hash: 9721a7a5c9d436934e4337a0e92a52b8edf230f2)
isabelle