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.
IntEx.thy
changeset 187 f8fc085db38f
parent 184 f3c192574d2a
child 191 b97f3f5fbc18
equal deleted inserted replaced
186:9ca545f783f6 187:f8fc085db38f
nominal2