Today we release Eudox version 1.0 final beta. This is the 9th beta of
Eudox. Actually there is nothing that we know that is missing in final
beta, but we want to make a final test so we see that everything works
correctly before the release of version 1.0.