diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-11-30 15:28:56 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-11-30 15:28:56 -0500 |
| commit | fa906ca9e2e31d809221badd35ba1e93eaf3a8e5 (patch) | |
| tree | 46bd1fc7feee6dad73467084bb05bff6b03b69c4 /.hgignore | |
| parent | 3563920e17dc55436bb1a92ac192af3fc8e1f61a (diff) | |
Update Coq semantics for 8.3pl2
Diffstat (limited to '.hgignore')
| -rw-r--r-- | .hgignore | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -47,6 +47,8 @@ doc/*.html .depend Makefile.coq *.vo +*.v.d +*.glob xml/parse xml/entities.sml @@ -55,7 +57,6 @@ syntax: regexp ^Makefile$ ^src/c/Makefile$ -^src/coq/Makefile$ ^libtool$ ^config.h$ ^stamp-h1$ |