Mercurial > urweb

comparison src/coq/Makefile @ 2279:32a407902d3b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Rewrite LRU cache. Now uses one big hash table and is less buggy.
author Ziv Scully <ziv@mit.edu>
date Wed, 11 Nov 2015 20:01:48 -0500
parents 705cb41ac7d0
children
comparison
equal deleted inserted replaced
2278:b7615e0ac4b0 2279:32a407902d3b