Template:Dev News/Archives
From Event-B
< Template:Dev News
Jump to navigationJump to searchRevision as of 07:36, 18 March 2009 by imported>Mathieu
- 25/02/09: Requirement Management plug-in updated to Rodin version 0.9.2.1
- 25/02/09: ProB plug-in updated to Rodin version 0.9.2.1
- 24/02/09: Shared Event Composition plug-in updated to Rodin version 0.9.2.1
- 18/02/09: Rodin platform 0.9.2.1 released (changelog)
- 09/02/09: Fix Bug Collapse all doesn't work
- 30/01/09: Context renaming
- 23/01/09: editor : different color for comments
- 22/01/09: Fix Bug CTRL+S doesn't always work
- 09/01/09: Fix Bug Event-B editor jump at the top when gaining focus
- 09/01/09: Fix Bug Scroll-wheel modifies combo values
