User:Tommy/Collections/Release Notes Template

From Event-B
< User:Tommy
Revision as of 13:18, 16 November 2010 by imported>Tommy (Creation of a template for release notes.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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).

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