User:Tommy/Collections/Release Notes Template

From Event-B
< User:Tommy
Revision as of 15:12, 1 December 2010 by imported>Tommy (→‎External plug-ins)
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 X.X?

  • General Interface

TODO: ...

  • Modelling

TODO: ...

  • Proving

TODO: ...

  • Changes for plugin-developers

TODO: ...

Requirements

TODO: COPY REQUIREMENTS FROM PREVIOUS PAGES / VERIFY
TODO: Inform here of some specific system requirements (version of Java, etc).

External plug-ins

TODO: Link to the external page for plug-ins Link of the form: {{:Rodin_Platform_X.X.X_External_Plug-ins}}

Downloading

TODO: Add here a link to download the platform.

Fixed Bugs

TODO: Add here a list of the fixed bugs.

Known Issues

TODO: COPY KNOWN ISSUES FROM PREVIOUS PAGES / VERIFY
TODO: Add here a link to the SourceForge Bugs page, after filtering bugs (Assignee Any, Status Open, Category Any, Group 1.2).

About

Rodin Platform up to rxxxx Developer Release date : dd/mm/yyyy. User Release date : dd/mm/yyyy.

Retrieved from ‘https://wiki.event-b.org/index.php?title=User:Tommy/Collections/Release_Notes_Template&oldid=11061’