Mercurial > urweb

comparison src/coq/Syntax.v @ 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 75c7a69354d6
children
comparison
equal deleted inserted replaced
1511:e717e2b56b21 1512:dcc8abbc6dfd