Mercurial > urweb
log src/elab_env.sml
age | author | description |
---|---|---|
Thu, 11 Sep 2008 19:59:31 -0400 | Adam Chlipala | Fixed a mind-numbing De Bruijn bug |
Sun, 07 Sep 2008 13:29:01 -0400 | Adam Chlipala | pquery working with all four types of columns |
age | author | description |
---|---|---|
Thu, 11 Sep 2008 19:59:31 -0400 | Adam Chlipala | Fixed a mind-numbing De Bruijn bug |
Sun, 07 Sep 2008 13:29:01 -0400 | Adam Chlipala | pquery working with all four types of columns |