Mercurial Mercurial > hg > nominal2 / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -300 -100 -12 +12 +100 +300 +1000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Thu, 26 Nov 2009 13:46:00 +0100 changed left-res
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 13:46:00 +0100] rev 395
changed left-res
Thu, 26 Nov 2009 12:21:47 +0100 Manually regularized akind_aty_atrm.induct
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 26 Nov 2009 12:21:47 +0100] rev 394
Manually regularized akind_aty_atrm.induct
Thu, 26 Nov 2009 10:52:24 +0100 Playing with Monos in LFex.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 26 Nov 2009 10:52:24 +0100] rev 393
Playing with Monos in LFex.
Thu, 26 Nov 2009 10:32:31 +0100 Fixed FSet after merge.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 26 Nov 2009 10:32:31 +0100] rev 392
Fixed FSet after merge.
Thu, 26 Nov 2009 03:18:38 +0100 merged
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 03:18:38 +0100] rev 391
merged
Thu, 26 Nov 2009 02:31:00 +0100 test with monos
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 02:31:00 +0100] rev 390
test with monos
Wed, 25 Nov 2009 21:48:32 +0100 applic_prs
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 21:48:32 +0100] rev 389
applic_prs
Wed, 25 Nov 2009 15:43:12 +0100 polishing
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 25 Nov 2009 15:43:12 +0100] rev 388
polishing
Wed, 25 Nov 2009 15:20:10 +0100 reordered the code
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 25 Nov 2009 15:20:10 +0100] rev 387
reordered the code
Wed, 25 Nov 2009 14:25:29 +0100 Moved exception handling to QuotMain and cleaned FSet.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 14:25:29 +0100] rev 386
Moved exception handling to QuotMain and cleaned FSet.
Wed, 25 Nov 2009 14:16:33 +0100 Merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 14:16:33 +0100] rev 385
Merge
Wed, 25 Nov 2009 14:15:34 +0100 Finished manual lifting of list_induct_part :)
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 25 Nov 2009 14:15:34 +0100] rev 384
Finished manual lifting of list_induct_part :)
(0) -300 -100 -12 +12 +100 +300 +1000 tip
nominal2