Mercurial > urweb

comparison src/coq/Axioms.v @ 1260:25ebd8c4fafb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Thunking recursive JavaScripted function ASTs, to reduce page load time dramatically
author Adam Chlipala <adamc@hcoop.net>
date Sat, 22 May 2010 14:09:06 -0400
parents be88d2d169f6
children
comparison
equal deleted inserted replaced
1259:83b1853d1e58 1260:25ebd8c4fafb