sources of the release 0.99.1 of Alt-Ergo