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.
Created branch for Isabelle-2012 Nominal2-Isabelle2012
authorChristian Urban <urbanc@in.tum.de>
Sat, 12 May 2012 21:05:59 +0100
branchNominal2-Isabelle2012
changeset 3168 a6f3e1b08494
parent 3167 c25386402f6a
child 3169 b6873d123f9b
Created branch for Isabelle-2012
nominal2