Mercurial > urweb

comparison src/coq/README @ 853:19fdeef40ada

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Factor out common request functionality, in preparation for supporting different protocols
author Adam Chlipala <adamc@hcoop.net>
date Tue, 23 Jun 2009 14:05:12 -0400
parents de8333ef1a0c
children 705cb41ac7d0
comparison
equal deleted inserted replaced
852:4d4c62d95b9c 853:19fdeef40ada