Mercurial Mercurial > hg > pip / 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.
Correctness.thy
changeset 128 5d8ec128518b
parent 127 38c6acf03f68
child 130 0f124691c191
equal deleted inserted replaced
127:38c6acf03f68 128:5d8ec128518b
pip