Makefile
MANIFEST
README
COPYRIGHT

# ocamlbuild configuration
_tags
myocamlbuild.ml
config/tests.config

# documentation
doc/Makefile
doc/*.sty
doc/*.bib
doc/*.tex

# proofgeneral
proofgeneral/Makefile
proofgeneral/proof-site.patch
proofgeneral/pg-4.2.patch
proofgeneral/emacs.local.rc
proofgeneral/easycrypt/*.el
proofgeneral/config/emacs.rc.in
proofgeneral/scripts/find-emacs

# EasyCrypt sources
find:src:*.ml
find:src:*.mli
find:src:*.mly
find:src:*.mll

# EasyCrypt theories
theories/*.ec
theories/prelude/*.ec
theories/core/*.ec
theories/realizations/*.ec

# EasyCrypt extraction support library
find:extraction:*.ml
find:extraction:*.mli
find:extraction:*.ec

# EasyCrypt webui
webui/setup.py
webui/MANIFEST.in
webui/*.ini
find:webui/econline/static:*
find:webui/econline:*.py
find:webui/econline/templates:*.genshi

# system
system/Makefile
system/*.c
system/win32/*.c
system/unix/*.c

# EasyCrypt examples
examples/*.ec

# EasyCrypt tests files
find:tests/modules:*.ec
find:tests/pbhl:*.ec
find:tests/phl:*.ec
find:tests/prhl:*.ec
find:tests/tactics:*.ec
find:tests/theories:*.ec
find:tests/third-party:*.ec
find:tests/typing:*.ec
find:tests/unclassified:*.ec

# Build scripts
scripts/install-sh
scripts/runtest.py
scripts/distribution.py
scripts/keywords.py
scripts/ec-build-toolchain
scripts/activate-toolchain.sh
scripts/ec-build-webui-env
scripts/ec-run-webui
find:scripts/patches/:*