annotate .hgignore @ 1079:d069b193ed6b

Especialize uses a termination measure based on number of arguments introduced
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Dec 2009 19:26:52 -0500
parents 5e8b6fa5b48f
children bed675db3aff
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@915 27 demo/more/out/*.html
adamc@915 28 demo/more/demo.*
adamc@915 29
adamc@424 30 *.sql
adamc@507 31 *mlmon.out
adamc@524 32
adamc@524 33 *.aux
adamc@524 34 *.dvi
adamc@524 35 *.pdf
adamc@524 36 *.ps
adamc@540 37 *.toc
adamc@615 38
adamc@615 39 .depend
adamc@615 40 Makefile.coq
adamc@615 41 *.vo
adamc@764 42
adamc@764 43 syntax: regexp
adamc@764 44
adamc@764 45 ^Makefile
adamc@764 46 ^src/coq/Makefile