Mercurial > urweb
annotate .hgignore @ 829:20fe00fd81da
Substring functions; fix a nasty MonoReduce pattern match substitution bug
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 30 May 2009 13:29:00 -0400 |
parents | 7f653298dd66 |
children | 5e8b6fa5b48f |
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@378 | 16 src/config.sml |
adamc@378 | 17 |
adamc@378 | 18 *.exe |
adamc@378 | 19 |
adamc@378 | 20 *.cache |
adamc@378 | 21 *.log |
adamc@378 | 22 *.status |
adamc@380 | 23 |
adamc@380 | 24 demo/out/*.html |
adamc@384 | 25 demo/demo.* |
adamc@424 | 26 |
adamc@424 | 27 *.sql |
adamc@507 | 28 *mlmon.out |
adamc@524 | 29 |
adamc@524 | 30 *.aux |
adamc@524 | 31 *.dvi |
adamc@524 | 32 *.pdf |
adamc@524 | 33 *.ps |
adamc@540 | 34 *.toc |
adamc@615 | 35 |
adamc@615 | 36 .depend |
adamc@615 | 37 Makefile.coq |
adamc@615 | 38 *.vo |
adamc@764 | 39 |
adamc@764 | 40 syntax: regexp |
adamc@764 | 41 |
adamc@764 | 42 ^Makefile |
adamc@764 | 43 ^src/coq/Makefile |