Mercurial > urweb

comparison src/coq/README @ 1092:6f4b05fc4361

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Catch attempts to mention multiple versions of the same rooted module
author Adam Chlipala <adamc@hcoop.net>
date Fri, 25 Dec 2009 10:48:02 -0500
parents de8333ef1a0c
children 705cb41ac7d0
comparison
equal deleted inserted replaced
1091:6e5463a53c3c 1092:6f4b05fc4361