Mercurial > urweb

comparison src/coq/README @ 1512:dcc8abbc6dfd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Change cookie signature comparison to resist timing attacks (based on code suggested by Robin Green and Austin Seipp)
author Adam Chlipala <adam@chlipala.net>
date Tue, 19 Jul 2011 09:18:50 -0400
parents de8333ef1a0c
children 705cb41ac7d0
comparison
equal deleted inserted replaced
1511:e717e2b56b21 1512:dcc8abbc6dfd