annotate .hgignore @ 2195:18e6fb487880

Reduce: add reduction in some spots previously missed, associated with 'case' return types
author Adam Chlipala <adam@chlipala.net>
date Wed, 25 Nov 2015 18:48:17 -0500
parents 75c8f8e3f5d0
children
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
adam@1493 36 doc/*.html
adam@2136 37 doc/*.out
adam@1493 38
adamc@424 39 *.sql
adamc@507 40 *mlmon.out
adamc@524 41
adamc@524 42 *.aux
adamc@524 43 *.dvi
adamc@524 44 *.pdf
adamc@524 45 *.ps
adamc@540 46 *.toc
adamc@615 47
adamc@615 48 .depend
adamc@615 49 Makefile.coq
adamc@615 50 *.vo
adam@1618 51 *.v.d
adam@1618 52 *.glob
adamc@764 53
adam@1592 54 xml/parse
adam@1592 55 xml/entities.sml
adam@1592 56
adam@1901 57 Makefile.in
adam@1901 58 src/c/Makefile.in
adam@1901 59 ar-lib
adam@1901 60 *.m4
adam@1901 61 m4/libtool.m4
adam@1901 62 m4/lt*.m4
adam@1901 63 config.*
adam@1901 64 configure
adam@1901 65 depcomp
adam@2098 66 compile
adam@1901 67 install-sh
adam@1901 68 ltmain.sh
adam@1901 69 missing
adam@1901 70
adam@2054 71 tests/*.db
adam@2054 72
adamc@764 73 syntax: regexp
adamc@764 74
adamc@1132 75 ^Makefile$
adamc@1132 76 ^src/c/Makefile$
adamc@1132 77 ^libtool$
adam@1740 78 ^include/urweb/config.h$
andersk@1905 79 ^include/urweb/config.h.in$
adam@1740 80 ^include/urweb/stamp-h1$