Mercurial > cpdt > repo
log
age | author | description |
---|---|---|
Thu, 26 Jul 2012 14:35:34 -0400 | Adam Chlipala | Pass through Match, to incorporate new coqdoc features |
Thu, 26 Jul 2012 14:18:15 -0400 | Adam Chlipala | Pass through LogicProg, to incorporate new coqdoc features |