Mercurial Mercurial > hg > nominal2 / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Undid wrong merge
authorcek@localhost.localdomain
Sat, 24 Oct 2009 08:34:14 +0200
changeset 170 22cd68da9ae4
parent 169 ae83e5b6b141 (current diff)
parent 168 c1e76f09db70 (diff)
child 171 13aab4c59096
Undid wrong merge
QuotMain.thy file | annotate | diff | comparison | revisions
quotient.ML file | annotate | diff | comparison | revisions
nominal2