Mercurial > urweb

diff .hgignore @ 1618:705cb41ac7d0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update Coq semantics for 8.3pl2
author Adam Chlipala <adam@chlipala.net>
date Wed, 30 Nov 2011 15:28:56 -0500
parents 1c9f8f06c1d6
children d2ec62c5ad81
line wrap: on
line diff
--- a/.hgignore	Sun Nov 27 15:32:06 2011 -0500
+++ b/.hgignore	Wed Nov 30 15:28:56 2011 -0500
@@ -47,6 +47,8 @@
 .depend
 Makefile.coq
 *.vo
+*.v.d
+*.glob
 
 xml/parse
 xml/entities.sml
@@ -55,7 +57,6 @@
 
 ^Makefile$
 ^src/c/Makefile$
-^src/coq/Makefile$
 ^libtool$
 ^config.h$
 ^stamp-h1$