Mercurial > cpdt > repo
log src/Exercises.v
age | author | description |
---|---|---|
Fri, 08 Jun 2012 11:25:11 -0400 | Adam Chlipala | Start figuring out which coqdoc changes will be needed to produce a pretty final version |
Fri, 02 Mar 2012 09:58:00 -0500 | Adam Chlipala | Move exercises out of mainline book |