Atelier B 4.1.1

Atelier B 4.1.1 is available for download for Atelier B 4 maintenance contract holders. This release brings 59 bug corrections and 7 improvements. Most corrections are related to unwanted man-machine behaviour:

• Atelier B: 41 bug corrections, 4 improvements
• Bart: 13 bug corrections, 3 improvements
• Code generators: 2 bug corrections
• Mathematical rules proof tool: 3 bug corrections