Mercurial Mercurial > hg > nominal2 / 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.
QuotMain.thy
changeset 181 3e53081ad53a
parent 180 fcacca9588b4
child 182 c7eff9882bd8
equal deleted inserted replaced
180:fcacca9588b4 181:3e53081ad53a
nominal2