Difference between revisions of "Main Page"

From Event-B
Jump to navigationJump to search
imported>WikiSysop
imported>WikiSysop
Line 1: Line 1:
<big>'''MediaWiki has been successfully installed.'''</big>
+
<big>''' Event-B.org support wiki.'''</big>
 +
 
  
Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.
 
  
 
[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.