Rodin Platform 2.0 Release Notes

From Event-B
Revision as of 16:12, 14 September 2009 by imported>Pascal
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

What's New in Rodin 2.0?

TODO: List here the new features and improvements.

  • get rid of deprecated eventBKeyboard plug-in in UI
  • get rid of deprecated ITacticProvider interface in UI (replaced with ITacticProvider2)
  • counter examples in proof files

Requirements

TODO: Inform here of some specific system requirements (version of Java, etc).

  • Migration to Eclipse 3.5 (Galileo)

External plug-ins

TODO: Describe here the available plug-ins, and the supported versions for this release.

Downloading

TODO: Add here a link to download the platform.

Fixed Bugs

TODO: Add here a list of the fixed bugs.

Known Issues

TODO: Add here a link to the SourceForge Bugs page, after filtering bugs (Assignee Any, Status Open, Category Any, Group 1.2).

Retrieved from ‘https://wiki.event-b.org/index.php?title=Rodin_Platform_2.0_Release_Notes&oldid=7465’