Commit 813b6414 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

distribute more examples

parent 7b0a19e7
...@@ -1290,8 +1290,14 @@ DISTRIB_FILES = Version Makefile.in configure.in META.in configure \ ...@@ -1290,8 +1290,14 @@ DISTRIB_FILES = Version Makefile.in configure.in META.in configure \
doc/version.tex.in doc/manual.pdf \ doc/version.tex.in doc/manual.pdf \
drivers/*.drv drivers/*.gen \ drivers/*.drv drivers/*.gen \
examples/*.why examples/programs/*.mlw examples/tptp/*.why \ examples/*.why examples/programs/*.mlw examples/tptp/*.why \
examples/*/*.xml examples/*/*/*.xml \ examples/tests-provers/*.why examples/check-builtin/*.why \
examples/*/*.v examples/*/*/*.v \ examples/bts/*.why \
examples/programs/vacid_0_binary_heaps/*.why \
examples/programs/vacid_0_binary_heaps/*.mlw \
examples/bitvectors/*.why \
examples/foveoos2011/*.mlw \
examples/*/*.xml examples/*/*/*.xml examples/*/*/*/*.xml \
examples/*/*.v examples/*/*/*.v examples/*/*/*/*.v\
examples/use_api.ml \ examples/use_api.ml \
theories/*.why \ theories/*.why \
modules/*.mlw \ modules/*.mlw \
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment