Difference between revisions of "Template:Main Page/Community"
From Event-B
Jump to navigationJump to searchimported>WikiSysop |
imported>Pascal |
||
Line 5: | Line 5: | ||
[[Dagstuhl Seminar 2009|Industry Challenges identifed at Dagstuhl refinement seminar 2009]] | [[Dagstuhl Seminar 2009|Industry Challenges identifed at Dagstuhl refinement seminar 2009]] | ||
− | [[Mailing lists]] - Rodin related mailing lists | + | [[Mailing lists]] - Rodin related mailing lists. |
[[Rodin Platform Releases]] - Track releases. | [[Rodin Platform Releases]] - Track releases. | ||
+ | |||
+ | [[Bugs and Feature Requests]] - Report a bug or request a new feature. | ||
[[Plug-in_Wishlist|Plug-in Wishlist]] | [[Plug-in_Wishlist|Plug-in Wishlist]] |
Revision as of 14:35, 16 November 2009
Displayed as follow on the Main Page
Industry Challenges identifed at Dagstuhl refinement seminar 2009
Mailing lists - Rodin related mailing lists.
Rodin Platform Releases - Track releases.
Bugs and Feature Requests - Report a bug or request a new feature.
DEPLOY Plenary Meeting 2009 - Call for Papers
Rodin Workshop 2009 - Abstracts and slides from Rodin 2009 Workshop
Do not hesitate to improve this wiki. You may find some help within the following pages:
Wiki Help - Some technical documentation about this wiki.
Village Pump - Ask your questions and keep track of the main wiki events.
Recent Changes - Monitor the wiki activity.
Test Area - Wiki editing is simple. Try by yourself.