Mercurial > cpdt > repo
annotate .hgignore @ 203:71ade09024ac
Quibbly note on [eq] in first-order logic
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 04 Jan 2009 08:18:59 -0500 |
| parents | fd18331e5c0b |
| children | cbf2f74a5130 |
| 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 |