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