Mercurial > cpdt > repo

view .hgignore @ 510:fd6ec9b2dccb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Finished last pass through the book before beginning the MIT Press editorial process
author Adam Chlipala <adam@chlipala.net>
date Wed, 13 Feb 2013 10:22:18 -0500
parents 549d604c3d16
children 136d4b84eb96
line wrap: on
line source
syntax: glob

*~

*.depend
*.vo
Makefile.coq
.coq_globals

*/coqdoc.sty
*/*.log

html/coqdoc.css
html/*.html

templates/*.v

staging/html/.dir
cpdt.tgz

*.glob
*.v.d

*.aux
*.dvi
*.log
*.v.tex
exercises.tex
*.toc
*.bbl
*.blg
*.idx
*.ilg
*.pdf
*.ind
*.out