Mercurial > cpdt > repo
annotate .hgignore @ 262:de53c8bcfa8d
OpSem code
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Mon, 28 Dec 2009 12:35:44 -0500 |
parents | b9e9ff52913c |
children | 7b38729be069 |
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 */cpdt.* |
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 |
adamc@204 | 21 |
adamc@204 | 22 *.glob |
adamc@204 | 23 *.v.d |
adamc@208 | 24 |
adamc@208 | 25 *.aux |
adamc@208 | 26 *.dvi |
adamc@208 | 27 *.log |