Atelier B 3.7.1

Version 3.7.1 of Atelier B is now available. It has corrected the minor anomalies of Atelier B on the proof type and interface verifier and compatibility with the xemacs EMACSPRI proof interface has been improved.

The future version 3.7.2 is currently under development and is announced for early May 2008… A new translator ComenC will be added to Atelier B. ComenC allows for B0 implementations to be translated into C language.