new version of Alt-Ergo (0.95.1)