Status Report about Traductions

Many of you have answered us in order to participate in the translation of manuals dedicated to Atelier B: thank you.

Here is a status report on our work:

• The Bart specification document, which describes the refinement rule language for the Bart automatic refinement tool has been translated into English thanks to the help of Aryldo G. Russo Jr.
• The mathematical rule writing manual has been translated into English thanks to the help of David Deharbe and Anderson Santana de Oliveira.
• The translation of the B language user manual into English has been initiated.