Mercurial > urweb

annotate .hgignore @ 1215:360f1ed0a969

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Implemented proper congruence closure, to the point where tests/policy works
author Adam Chlipala <adamc@hcoop.net>
date Thu, 08 Apr 2010 12:46:21 -0400
parents b0d632cc9edf
children be2ef50780ed
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@1132 15 .deps
adamc@1132 16 .libs
adamc@1130 17 *.lo
adamc@1130 18 *.la
adamc@1154 19 *.mlton.grm
adamc@1154 20 *.mlton.lex
adamc@378 21
adamc@378 22 src/config.sml
adamc@378 23
adamc@378 24 *.exe
adamc@378 25
adamc@378 26 *.cache
adamc@378 27 *.log
adamc@378 28 *.status
adamc@380 29
adamc@380 30 demo/out/*.html
adamc@384 31 demo/demo.*
adamc@424 32
adamc@915 33 demo/more/out/*.html
adamc@915 34 demo/more/demo.*
adamc@915 35
adamc@424 36 *.sql
adamc@507 37 *mlmon.out
adamc@524 38
adamc@524 39 *.aux
adamc@524 40 *.dvi
adamc@524 41 *.pdf
adamc@524 42 *.ps
adamc@540 43 *.toc
adamc@1141 44 aclocal.m4
adamc@615 45
adamc@615 46 .depend
adamc@615 47 Makefile.coq
adamc@615 48 *.vo
adamc@764 49
adamc@764 50 syntax: regexp
adamc@764 51
adamc@1132 52 ^Makefile$
adamc@1132 53 ^src/c/Makefile$
adamc@1132 54 ^src/coq/Makefile$
adamc@1132 55 ^libtool$