User:Tommy/Collections/Release Notes Template: Difference between revisions

From Event-B
Jump to navigationJump to search
← Older editNewer edit →
imported>Tommy
imported>Tommy
Line 19: Line 19:


== External plug-ins ==
== External plug-ins ==
{{TODO | Link to the external page for plug-ins}}
{{TODO | Link to the external page for plug-ins}}<br>
Link of the form:
Link of the form:
<nowiki>{{:Rodin_Platform_X.X.X_External_Plug-ins}}</nowiki>
<nowiki>{{:Rodin_Platform_X.X.X_External_Plug-ins}}</nowiki>


== Downloading ==
== Downloading ==

Revision as of 15:12, 1 December 2010

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=11062’