Mercurial > urweb
log
age | author | description |
---|---|---|
Fri, 14 Feb 2014 15:11:22 -0500 | Adam Chlipala | Fix a subtle renaming problem in elaborating functor applications |
Sun, 09 Feb 2014 19:29:50 -0500 | Adam Chlipala | Merge |
age | author | description |
---|---|---|
Fri, 14 Feb 2014 15:11:22 -0500 | Adam Chlipala | Fix a subtle renaming problem in elaborating functor applications |
Sun, 09 Feb 2014 19:29:50 -0500 | Adam Chlipala | Merge |