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

From Event-B
Jump to navigationJump to search
imported>Tommy
m
imported>Tommy
Line 19: Line 19:
  
 
== External plug-ins ==
 
== External plug-ins ==
−
{{TODO | Describe here the available plug-ins, and the supported versions for this release.}}
+
{{TODO | Link to the external page for plug-ins}}
 +
Link of the form:
 +
<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=11061’