Mercurial > cpdt > repo
diff src/DepList.v @ 418:eda5f4eb21b4
Improve Intro mark-up, based on new coqdoc features planned for final 8.4 release
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 25 Jul 2012 15:07:12 -0400 |
parents | ad315efc3b6b |
children | ed829eaa91b2 |