Difference between revisions of "Talk:Camille Editor"
From Event-B
Jump to navigationJump to searchimported>Neoser (Created page with "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 sa...") |
(No difference)
|
Revision as of 06:58, 30 June 2015
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