Mercurial > urweb
annotate .hgignore @ 650:fcf0bd3d1667
BatchG demo
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 10 Mar 2009 16:38:38 -0400 |
parents | 3c77133afd9a |
children | 7f653298dd66 |
rev | line source |
---|---|
adamc@0 | 1 syntax: glob |
adamc@0 | 2 |
adamc@0 | 3 *~ |
adamc@0 | 4 .cm |
adamc@0 | 5 src/.cm |
adamc@0 | 6 |
adamc@0 | 7 bin/* |
adamc@0 | 8 |
adamc@244 | 9 src/urweb.cm |
adamc@244 | 10 src/urweb.mlb |
adamc@1 | 11 |
adamc@1 | 12 *.lex.* |
adamc@1 | 13 *.grm.* |
adamc@102 | 14 *.o |
adamc@378 | 15 |
adamc@524 | 16 ./Makefile |
adamc@378 | 17 src/config.sml |
adamc@378 | 18 |
adamc@378 | 19 *.exe |
adamc@378 | 20 |
adamc@378 | 21 *.cache |
adamc@378 | 22 *.log |
adamc@378 | 23 *.status |
adamc@380 | 24 |
adamc@380 | 25 demo/out/*.html |
adamc@384 | 26 demo/demo.* |
adamc@424 | 27 |
adamc@424 | 28 *.sql |
adamc@507 | 29 *mlmon.out |
adamc@524 | 30 |
adamc@524 | 31 *.aux |
adamc@524 | 32 *.dvi |
adamc@524 | 33 *.pdf |
adamc@524 | 34 *.ps |
adamc@540 | 35 *.toc |
adamc@615 | 36 |
adamc@615 | 37 .depend |
adamc@615 | 38 Makefile.coq |
adamc@615 | 39 *.vo |