Mercurial Mercurial > hg > nominal2 / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 19 Jul 2011 09:41:33 +0100 merged
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 19 Jul 2011 09:41:33 +0100] rev 2979
merged
Tue, 19 Jul 2011 09:40:46 +0100 merged
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 19 Jul 2011 09:40:46 +0100] rev 2978
merged
Tue, 19 Jul 2011 08:34:54 +0100 merged
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 19 Jul 2011 08:34:54 +0100] rev 2977
merged
Tue, 19 Jul 2011 09:35:24 +0100 added termination file
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 19 Jul 2011 09:35:24 +0100] rev 2976
added termination file
Tue, 19 Jul 2011 02:30:05 +0100 preliminary version of automatically generation the eqvt-lemmas for functions defined with nominal_primrec
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 19 Jul 2011 02:30:05 +0100] rev 2975
preliminary version of automatically generation the eqvt-lemmas for functions defined with nominal_primrec
Tue, 19 Jul 2011 01:40:36 +0100 generated the partial eqvt-theorem for functions
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 19 Jul 2011 01:40:36 +0100] rev 2974
generated the partial eqvt-theorem for functions
(0) -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 tip
nominal2