Mercurial > urweb

comparison .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
comparison
equal deleted inserted replaced
1617:8611da277df4 1618:705cb41ac7d0
45 *.toc 45 *.toc
46 46
47 .depend 47 .depend
48 Makefile.coq 48 Makefile.coq
49 *.vo 49 *.vo
50 *.v.d
51 *.glob
50 52
51 xml/parse 53 xml/parse
52 xml/entities.sml 54 xml/entities.sml
53 55
54 syntax: regexp 56 syntax: regexp
55 57
56 ^Makefile$ 58 ^Makefile$
57 ^src/c/Makefile$ 59 ^src/c/Makefile$
58 ^src/coq/Makefile$
59 ^libtool$ 60 ^libtool$
60 ^config.h$ 61 ^config.h$
61 ^stamp-h1$ 62 ^stamp-h1$