Hi Valerio, Indeed c4b has several limitations, including the renaming of abstract...
Memory leak in p_tool.cpp
English translation improved
Executable text files in the source code
Solved in 4.1
Atelier B 4 for linux crashes with enumerated sets
BxmlTags.h file is missing
Issue solved: Import of BXML on sourceforge [bcomp:code:r175] Deleting of BXMLLIB...