Mercurial > urweb

comparison src/coq/Axioms.v @ 2129:e0843b2a636d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make flattening of reactive HTML trees iterative instead of recursive, to avoid stack overflows
author Adam Chlipala <adam@chlipala.net>
date Sun, 08 Mar 2015 11:12:28 -0400
parents be88d2d169f6
children
comparison
equal deleted inserted replaced
2128:248e2b32954b 2129:e0843b2a636d