Camille Release History

Camille is the Text-Editor for Rodin (as opposed to the structural editor). Camille is currently maintained by the University of Düsseldorf.

Camille 2.0.1 for Rodin 2.0 released on October 14th 2010

Note: You need to add the Helios update site (http://download.eclipse.org/releases/helios/) to install the required dependencies.

Camille 2.0.0 (for Rodin 1.3.1) released on June 22nd 2010

This release is compatible with version 3.1.1 of the EMF-Plugin.

• Bugfixes:
  • LFs (#10;) are replaced by CRs (#13;)

Camille Pre-Releases

Version 0.0.6

30th June 2009

• 30th June 2009: Version 0.0.6 released. It is based on Rodin 1.0.0 RC1.

• Bugfixes:
  • [Bosch] Ctrl+Space (Code Completion) produces a null pointer exeception if invoked in places where it should not be invoked (e.g. empty space in the editor etc.)
  • When a refines or sees references a not-existig machine/context the component is created on-the-fly without asking the user. Partly caused by a bug in the EMF persistence for Event-B.
  • Problems when opening machines/contexts in projects with blank in name.
  • Keywords in event names highlighted incorrectly.
  • Used 'anticipating' instead of 'anticipated' in pretty-print.
  • 'Extended' INITIALISATION event not possible
  • Cursor position moved after symbol replacement when the replacement didn't change the length of the formula.
  • Semantic highlighting didn't update within events after reconcile

• Improvements
  • Added new view Symbol table which offers click-and-insert for mathematical symbols.
  • Improved memory usage in reconciler.
  • Improved error marker placement for not existing references (sees, refines, ...)
  • Added Format action which applies a default text formatting. Available in context menu of editor and via CTRL+Shift+F (or on Mac: Command+Shift+F).

Version 0.0.5

19th June 2009

• Bugfixes:
  • After undoing all changes the editor still has the dirty flag (* marker in editor tab)
  • The list of code completion proposals sometimes doesn't show expected (matching) results because the context at the cursor position is not evaluated correctly.
  • [Bosch] There seems to be a problem parsing witnesses. Error reported is: [...] with @P_Env_ControlSignals' P_Env_ControlSignals' [...] "Unknown token: '"
  • [Bosch] It is not possible to extend contexts "extends" keyword is not parsed correctly
  • When inserting a template the special editing mode for the template is left to quickly, i.e., without user interaction.
  • Pretty-print putting comments before context header causes a parse error
  • The token declaration for label is too strict.
  • The token declaration for identifiers is too strict.
  • Bug when pretty-printing refining events
  • Refines attribute of events was not persisted to the RodinDB by the text editor
  • Changing the order of events was not persisted into the RodinDB
  • In an event name 'find_max' the 'max' part is highlighted as a formula keyword

• Improvements
  • Generating better error messages for misplaced comments, i.e., explain error in understandable way.
  • Problems when opening the editor are reported in a better way now. The real reason is shown in the UI. This will help when examining error reports in the future.
  • Text editor's preference pages now show up in the preference entry of the editor's context menu.
  • The left ruler column doesn't show a change hover anymore. It's not (yet) supported.
  • Templates are now editable and extensible via a preference page.
  • Saving is now wrapped into one commit to the RodinDB which causes less change notifications.
  • Error message about missing @ signs now show @ sign and not 'at' any more.
  • Added a lot more templates (40+), especially for expressions and predicates. Please let us know which templates you would like to have added.

Version 0.0.4

30th May 2009

• Fixing more bugs.
• Full integration with graphical editor (both open) now working.

Version 0.0.3

29th May 2009

• Fixing first reported bugs.
• Reinstalling, i.e., including Rodin is recommended.

Version 0.0.2

27th May 2009

• Fixing some bugs.
• Updating this page due to syntax changes and new version on update-site.
• Announcement on the DEPLOY tooling mailing list.

Version 0.0.1

13th May 2009

• Initial beta-release.
• Presentation at refocus meeting in Southampton.