Main Page: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>WikiSysop |
imported>WikiSysop No edit summary |
||
| Line 1: | Line 1: | ||
<big>''' | <big>''' Event-B.org support wiki.'''</big> | ||
[Rodin User Manual] | [Rodin User Manual] | ||
| Line 9: | Line 9: | ||
== Getting started == | == Getting started == | ||
Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software. | |||
* [http://www.mediawiki.org/wiki/Manual:Configuration_settings Configuration settings list] | * [http://www.mediawiki.org/wiki/Manual:Configuration_settings Configuration settings list] | ||
* [http://www.mediawiki.org/wiki/Manual:FAQ MediaWiki FAQ] | * [http://www.mediawiki.org/wiki/Manual:FAQ MediaWiki FAQ] | ||
* [http://lists.wikimedia.org/mailman/listinfo/mediawiki-announce MediaWiki release mailing list] | * [http://lists.wikimedia.org/mailman/listinfo/mediawiki-announce MediaWiki release mailing list] | ||
Revision as of 15:58, 26 March 2008
Event-B.org support wiki.
[Rodin User Manual]
[Rodin Developer Support]
Getting started
Consult the User's Guide for information on using the wiki software.
