model-checker : fix memory leak in ddfs algorithm
model-checker : update tesh file
get ready to release the first prerelease of 3.10 (3.10pre1)
slight typo in documentation
cmon, script. Don't fail on me because I don't use colored diffs
make it easier to debug make distcheck issues by requesting output-on-failure to ctest
java is now merged to master package