Difference between pages "Template:L machine" and "Template:Main Page/Community"
From Event-B
(Difference between pages)
Jump to navigationJump to searchimported>Mathieu m |
imported>WikiSysop |
||
| Line 1: | Line 1: | ||
<noinclude> | <noinclude> | ||
| − | == | + | == Displayed as follow on the Main Page == |
| − | + | <div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF"> | |
| − | + | </noinclude> | |
| + | [[Rodin Workshop 2010]] - Programme for Rodin 2010 Workshop | ||
| − | + | [[Dagstuhl Seminar 2009|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|Plug-in Wishlist]] | |
| + | |||
| + | [[DEPLOY_Plenary_Workshop_2009|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: | ||
| + | |||
| + | [[Help:Contents|Wiki Help]] - Some technical documentation about this wiki. | ||
| + | |||
| + | [[EB:VP|Village Pump]] - Ask your questions and keep track of the main wiki events. | ||
| + | |||
| + | [[Special:Recentchanges|Recent Changes]] - Monitor the wiki activity. | ||
| + | |||
| + | [[Test area|Test Area]] - Wiki editing is simple. Try by yourself. | ||
| + | <noinclude> | ||
| + | </div> | ||
| + | [[Category:Main page templates|Community]] | ||
| + | </noinclude> | ||
Revision as of 15:06, 10 September 2010
Displayed as follow on the Main Page
Rodin Workshop 2010 - Programme for Rodin 2010 Workshop
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.
