From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>WikiSysop |
|
| Line 1: |
Line 1: |
| − | <noinclude>
| |
| − | == Displayed as follow on the Main Page ==
| |
| − | <div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF">
| |
| − | </noinclude>
| |
| − | [[Dagstuhl Seminar 2009|Industry Challenges identifed at Dagstuhl refinement seminar 2009]]
| |
| | | | |
| − | [[Mailing lists]] - Rodin related mailing lists
| |
| − |
| |
| − | [[Rodin Platform Releases]] - Track releases.
| |
| − |
| |
| − | [[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>
| |
Latest revision as of 20:49, 30 April 2020
