Mercurial > cpdt > repo
annotate .hgignore @ 563:af97676583f3
Update for extraction to work in Coq 8.7, which unfortunately at last breaks compatibility with Coq versions before 8.6
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 07 Jan 2018 11:53:31 -0500 |
| parents | ed829eaa91b2 |
| children | 81d63d9c1cc5 |
| 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 |
| adam@563 | 8 Makefile.coq.conf |
| adamc@13 | 9 .coq_globals |
| adamc@3 | 10 |
| adamc@3 | 11 */coqdoc.sty |
| adamc@3 | 12 */*.log |
| adamc@3 | 13 |
| adamc@13 | 14 html/coqdoc.css |
| adamc@13 | 15 html/*.html |
| adamc@22 | 16 |
| adamc@22 | 17 templates/*.v |
| adamc@39 | 18 |
| adamc@39 | 19 staging/html/.dir |
| adamc@39 | 20 cpdt.tgz |
| adam@517 | 21 cpdtlib.tgz |
| adam@517 | 22 cpdtlib |
| adamc@204 | 23 |
| adamc@204 | 24 *.glob |
| adamc@204 | 25 *.v.d |
| adamc@208 | 26 |
| adamc@208 | 27 *.aux |
| adamc@208 | 28 *.dvi |
| adamc@208 | 29 *.log |
| adam@311 | 30 *.v.tex |
| adam@370 | 31 exercises.tex |
| adam@302 | 32 *.toc |
| adam@310 | 33 *.bbl |
| adam@310 | 34 *.blg |
| adam@310 | 35 *.idx |
| adam@310 | 36 *.ilg |
| adam@310 | 37 *.pdf |
| adam@310 | 38 *.ind |
| adam@310 | 39 *.out |
| adam@534 | 40 src/.coq-native |