*.tmp
*~
*.bak
*.o
*.svn
.*.swp
.why.conf
why.conf
.authors
*.cmx
*.cmo
*.cmi
*.cmxs
*.annot
\#*\#

# /
/config.status
/config.log
/autom4te.cache
/Makefile
/configure
/.depend.*
/semantic.cache
/TAGS
/depend.pdf
/output_why3
/output_coq
/apidoc
/dep.pdf
/distrib
/META

# /bench/
/bench/bench
/bench/programs/good/booleans/
/bench/programs/good/exceptions/
/bench/programs/good/for/
/bench/programs/good/list/
/bench/programs/good/see/
/bench/programs/good/set/
/bench/programs/good/recfun/

# /bench/plugins/
/bench/plugins/*.cm*
/bench/plugins/*.annot
/bench/plugins/config.log

# /bin/
/bin/why3.byte
/bin/why3.opt
/bin/why3
/bin/why3ml.byte
/bin/why3ml.opt
/bin/why3ml
/bin/why3ide.byte
/bin/why3ide.opt
/bin/why3ide
/bin/why3-cpulimit
/bin/why3config.byte
/bin/why3config.opt
/bin/why3config
/bin/why3bench.byte
/bin/why3bench.opt
/bin/why3bench
/bin/whytptp.byte
/bin/whytptp.opt
/bin/why3doc.byte
/bin/why3doc.opt
/bin/why3doc

# /doc/
/doc/version.tex
/doc/ocamldoc.sty
/doc/*whizzy*
/doc/manual.wdvi
/doc/manual.raux
/doc/manual.log
/doc/manual.lof
/doc/manual.toc
/doc/manual.aux
/doc/manual.bbl
/doc/manual.blg
/doc/manual.ind
/doc/manual.ilg
/doc/manual.idx
/doc/manual.rel
/doc/manual.glg
/doc/manual.glo
/doc/manual.gls
/doc/manual.ist
/doc/*.haux
/doc/*.pdf
/doc/manual.html
/doc/*.hind
/doc/*.htoc
/doc/bnf
/doc/bnf.ml
/doc/*_bnf.tex

# /share/
/share/*.cm*
/share/*.annot
/share/provers-detection-data.conf

# /share/emacs/
/share/emacs/semantic.cache

# /src/
/src/config.sh
/src/config.ml
/src/*.annot
/src/*.cm[aiox]
/src/*.cmxa
/src/*.[ao]

# /src/coq-plugin/
/src/coq-plugin/*.cm*
/src/coq-plugin/*.annot
/src/coq-plugin/g_whytac.ml

# /src/config/
/src/config/*.cm*
/src/config/*.annot

# /src/core/
/src/core/*.cm*
/src/core/*.annot

# /src/driver/
/src/driver/*.annot
/src/driver/*.cm*
/src/driver/driver_parser.output
/src/driver/driver_lexer.ml
/src/driver/driver_parser.ml
/src/driver/driver_parser.mli

# /src/ide/
/src/ide/*.annot
/src/ide/*.cm*

# /src/bench/
/src/bench/*.annot
/src/bench/*.cm*

# /src/parser/
/src/parser/*.annot
/src/parser/*.cm*
/src/parser/parser.output
/src/parser/lexer.ml
/src/parser/parser.ml
/src/parser/parser.mli
/src/parser/parser.pre.ml
/src/parser/parser.pre.mli

# /src/printer/
/src/printer/*.cm*
/src/printer/*.annot
/src/printer/driver_lexer.ml
/src/printer/driver_parser.ml
/src/printer/driver_parser.mli
/src/printer/*.output

# /src/programs/
/src/programs/*.cm*
/src/programs/*.annot
/src/programs/pgm_parser.mli
/src/programs/pgm_parser.ml
/src/programs/pgm_lexer.ml
/src/programs/*.output

# /src/tptp2why/
/src/tptp2why/*.cm*
/src/tptp2why/*.annot
/src/tptp2why/tptpParser.mli
/src/tptp2why/tptpParser.ml
/src/tptp2why/tptpParser.conflicts
/src/tptp2why/tptpParser.automaton
/src/tptp2why/*.output
/src/tptp2why/tptpLexer.ml

# /src/transform/
/src/transform/*.cm*
/src/transform/*.annot

# /src/util/
/src/util/*.cm*
/src/util/*.annot
/src/util/dynlink_compat.ml
/src/util/rc.ml

# /src/why3doc
/src/why3doc/*.cm*
/src/why3doc/*.annot

# /tests/
/tests/test-claude/

# /examples/
/examples/programs/my_cosine/*.gappa
/examples/my_cosine/
/examples/scottish-private-club/
/examples/hello_proof/
/examples/einstein/
/examples/genealogy/
/examples/programs/isqrt/
/examples/programs/course/
/examples/programs/wcet_hull/
/examples/programs/binary_search2/
/examples/programs/vacid_0_red_black_trees/
/examples/programs/vacid_0_red_black_trees_harness/

# theories
/theories/int/

# modules 
/modules/stdlib/
/modules/string/