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 178 945786a68ec6
parent 174 09048a951dca
child 180 fcacca9588b4
equal deleted inserted replaced
176:3a8978c335f0 178:945786a68ec6
nominal2