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}}
| |
− | {{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).}}
| |
− |
| |
− | [[Category:Rodin Platform Release Notes]]
| |
Revision as of 20:10, 7 July 2008