Talk:Camille Editor
From Event-B
Dear Sir or Madame,
When using the Camille editor I ran into a problem of saving a file. I made a refinement of a machine. Then, I changed it and tried to save. Instead of saving the file I got the message shown in the attached figure. When I tried to open the saved file in other editors, the most of the information was lost. Only the name of the machine and the list of variables was left. Moreover, the "save as" option suggested in the figure was disabled and could not be used. Is it possible to fix this?
Best Regards, Sergey