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 | d35896d2f29d23c3cd4c180f9249e44ebf7ed208 (patch) | |
| tree | 46bd1fc7feee6dad73467084bb05bff6b03b69c4 /.hgignore | |
| parent | b0da719acd2e225d83e064e9336e1097b87df6d8 (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$ |