Mercurial > cpdt > repo
annotate .hgignore @ 572:a913f19955e2
Update for Coq 8.11
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 02 Feb 2020 10:46:14 -0500 |
parents | 81d63d9c1cc5 |
children | 1dc1d41620b6 |
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 |
adam@572 | 26 *.coq.d |
adam@572 | 27 *.vok |
adam@572 | 28 *.vos |
adamc@208 | 29 |
adamc@208 | 30 *.aux |
adamc@208 | 31 *.dvi |
adamc@208 | 32 *.log |
adam@311 | 33 *.v.tex |
adam@370 | 34 exercises.tex |
adam@302 | 35 *.toc |
adam@310 | 36 *.bbl |
adam@310 | 37 *.blg |
adam@310 | 38 *.idx |
adam@310 | 39 *.ilg |
adam@310 | 40 *.pdf |
adam@310 | 41 *.ind |
adam@310 | 42 *.out |
adam@534 | 43 src/.coq-native |
adam@568 | 44 .coqdeps.d |