From Event-B
< User:Tommy(Difference between pages)
Jump to navigationJump to search
imported>Tommy |
imported>Christophe |
| Line 1: |
Line 1: |
| − | {{TOCright}}
| |
| | | | |
| − | == 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}}<br>
| |
| − | {{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}}<br>
| |
| − | {{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.
| |
| − |
| |
| − | [[Category:Rodin Platform Release Notes]]
| |
Revision as of 20:10, 7 July 2008
