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 328 491dde407f40
parent 326 e755a5da14c8
child 330 1a0f0b758071
equal deleted inserted replaced
327:22c8bf90cadb 328:491dde407f40
nominal2