Difference between revisions of "Template:Main Page/Community"

From Event-B
Jump to navigationJump to search
imported>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.

Plug-in Wishlist

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.