Difference between revisions of "Template:Main Page/Community"
From Event-B
Jump to navigationJump to searchimported>WikiSysop |
imported>WikiSysop |
||
Line 5: | Line 5: | ||
[[Mailing lists]] - Rodin related mailing lists | [[Mailing lists]] - Rodin related mailing lists | ||
− | [[Rodin Workshop 2009]] | + | [[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: | Do not hesitate to improve this wiki. You may find some help within the following pages: |
Revision as of 16:13, 21 July 2009
Displayed as follow on the Main Page
Mailing lists - Rodin related mailing lists
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.