adamc@0: syntax: glob adamc@0: adamc@0: *~ adamc@0: .cm adamc@0: src/.cm adamc@0: adamc@0: bin/* adamc@0: adamc@244: src/urweb.cm adamc@244: src/urweb.mlb adamc@1: adamc@1: *.lex.* adamc@1: *.grm.* adamc@102: *.o adamc@1095: *.do adamc@1095: *.so.* adamc@378: adamc@378: src/config.sml adamc@378: adamc@378: *.exe adamc@378: adamc@378: *.cache adamc@378: *.log adamc@378: *.status adamc@380: adamc@380: demo/out/*.html adamc@384: demo/demo.* adamc@424: adamc@915: demo/more/out/*.html adamc@915: demo/more/demo.* adamc@915: adamc@424: *.sql adamc@507: *mlmon.out adamc@524: adamc@524: *.aux adamc@524: *.dvi adamc@524: *.pdf adamc@524: *.ps adamc@540: *.toc adamc@615: adamc@615: .depend adamc@615: Makefile.coq adamc@615: *.vo adamc@764: adamc@764: syntax: regexp adamc@764: adamc@764: ^Makefile adamc@764: ^src/coq/Makefile