Mercurial > urweb

comparison src/coq/Axioms.v @ 1344:660a2715e2bd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Clarify that you aren't supposed to be able to create new XML tags
author Adam Chlipala <adam@chlipala.net>
date Thu, 16 Dec 2010 10:23:37 -0500
parents be88d2d169f6
children
comparison
equal deleted inserted replaced
1343:0a2b630f2463 1344:660a2715e2bd