Talk:Camille Editor

From Event-B
Revision as of 06:58, 30 June 2015 by imported>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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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


Camille error.png