Mercurial > cpdt > repo

diff src/MoreSpecif.v @ 510:fd6ec9b2dccb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Finished last pass through the book before beginning the MIT Press editorial process
author Adam Chlipala <adam@chlipala.net>
date Wed, 13 Feb 2013 10:22:18 -0500
parents 3322367e955d
children ed829eaa91b2
line wrap: on
line diff