exclude

cryptoverif/CVS
cryptoverif/*/CVS
cryptoverif/*~
cryptoverif/*/*~
cryptoverif/tests
cryptoverif/src/*.cmi
cryptoverif/src/*.cmo
cryptoverif/src/*.cmx
cryptoverif/src/*.o
cryptoverif/src/parser.ml
cryptoverif/src/parser.mli
cryptoverif/src/lexer.ml
cryptoverif/src/oparser.ml
cryptoverif/src/oparser.mli
cryptoverif/src/olexer.ml
cryptoverif/cryptoverif
cryptoverif/examples/*/CVS
cryptoverif/examples/*/*~
cryptoverif/examples/*/*/CVS
cryptoverif/examples/*/*/*~
cryptoverif/examplesnd/*/CVS
cryptoverif/examplesnd/*/*~
cryptoverif/docs/*.ps.gz
cryptoverif/docs/manual.dvi
cryptoverif/docs/manual.ps
cryptoverif/docs/manual.pdf
cryptoverif/docs/manual.aux
cryptoverif/docs/manual.bbl
cryptoverif/docs/manual.blg
cryptoverif/docs/manual.log
cryptoverif/xtime