Mercurial > urweb

diff src/coq/Name.v @ 2282:19b233bb3176

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make cache flushes safe for transactions (not sure about LRU bump on read).
author Ziv Scully <ziv@mit.edu>
date Thu, 12 Nov 2015 09:47:20 -0500
parents 75c7a69354d6
children
line wrap: on
line diff