{"id":495,"date":"2008-07-11T12:45:02","date_gmt":"2008-07-11T11:45:02","guid":{"rendered":"http:\/\/www.test.atelierb.eu\/?p=495"},"modified":"2015-06-13T11:10:21","modified_gmt":"2015-06-13T10:10:21","slug":"atelier-b-3-7-1-2","status":"publish","type":"post","link":"https:\/\/www.atelierb.eu\/en\/2008\/07\/11\/atelier-b-3-7-1-2\/","title":{"rendered":"Atelier B 3.7.1"},"content":{"rendered":"
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.<\/p>\n
The list of corrections is available : History of the Versions<\/a>.<\/p>\n The future version 3.7.2 is currently under development and is announced for early May 2008…<\/p>\n A new translator ComenC<\/a> will be added to Atelier B. ComenC<\/a> allows for B0 implementations to be translated into C language. This translator is a result of a convergence between industrial translators and research works, such as the RNTL BOM (optimized B memory) project.<\/p>\n