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 299 893a8e789d7f
parent 290 a0be84b0c707
child 305 d7b60303adb8
equal deleted inserted replaced
298:df72870f38fb 299:893a8e789d7f
nominal2