User:Tommy/Collections/Release Notes Template

From Event-B
< User:Tommy
Revision as of 13:26, 16 November 2010 by imported>Tommy
Jump to navigationJump to search

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: 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: 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=11060’