Mercurial > cpdt > repo
annotate .hgignore @ 448:2740b8a23cce
Proofreading pass through Chapter 3
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 17 Aug 2012 14:19:59 -0400 |
parents | 549d604c3d16 |
children | 136d4b84eb96 |
rev | line source |
---|---|
adamc@0 | 1 syntax: glob |
adamc@0 | 2 |
adamc@0 | 3 *~ |
adamc@0 | 4 |
adamc@0 | 5 *.depend |
adamc@0 | 6 *.vo |
adamc@13 | 7 Makefile.coq |
adamc@13 | 8 .coq_globals |
adamc@3 | 9 |
adamc@3 | 10 */coqdoc.sty |
adamc@3 | 11 */*.log |
adamc@3 | 12 |
adamc@13 | 13 html/coqdoc.css |
adamc@13 | 14 html/*.html |
adamc@22 | 15 |
adamc@22 | 16 templates/*.v |
adamc@39 | 17 |
adamc@39 | 18 staging/html/.dir |
adamc@39 | 19 cpdt.tgz |
adamc@204 | 20 |
adamc@204 | 21 *.glob |
adamc@204 | 22 *.v.d |
adamc@208 | 23 |
adamc@208 | 24 *.aux |
adamc@208 | 25 *.dvi |
adamc@208 | 26 *.log |
adam@311 | 27 *.v.tex |
adam@370 | 28 exercises.tex |
adam@302 | 29 *.toc |
adam@310 | 30 *.bbl |
adam@310 | 31 *.blg |
adam@310 | 32 *.idx |
adam@310 | 33 *.ilg |
adam@310 | 34 *.pdf |
adam@310 | 35 *.ind |
adam@310 | 36 *.out |