Mercurial > cpdt > repo
annotate .hgignore @ 311:4cb3ba8604bc
Pass through first half of StackMachine, along with some reorganization of the build process
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Mon, 29 Aug 2011 15:31:06 -0400 |
| parents | cf67b7d6ceac |
| children | 549d604c3d16 |
| 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@302 | 28 *.toc |
| adam@310 | 29 *.bbl |
| adam@310 | 30 *.blg |
| adam@310 | 31 *.idx |
| adam@310 | 32 *.ilg |
| adam@310 | 33 *.pdf |
| adam@310 | 34 *.ind |
| adam@310 | 35 *.out |