Difference between pages "Rodin Developer Support" and "Help:Contents"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Stefan
 
imported>Mathieu
 
Line 1: Line 1:
The Developer Support provides resources for developing plug-ins for the Rodin Platform.
+
''Help copied from [http://www.mediawiki.org/wiki/Help:Contents]''
  
[[Category:Developer Documentation]]
+
==Reading==
[[Category:Rodin Platform]]
+
* [[Help:Navigation|Navigation]]
 +
* [[Help:Searching|Searching]]
 +
* [[Help:Tracking changes|Tracking changes]]
 +
* [[Help:Watchlist|Watchlist]]
  
== Rodin Core ==
+
==Editing==
 +
* [[Help:Editing pages|Editing pages]]
 +
* [[Help:Starting a new page|Starting a new page]]
 +
* [[Help:Formatting|Formatting]]
 +
* [[Help:Links|Links]]
 +
* [[Help:User page|User pages]]
 +
* [[Help:Talk pages|Talk pages]]
  
[[Database]]
+
===Advanced editing===
 +
* [[Help:Images|Images]]
 +
* [[Help:Tables|Tables]]
 +
* [[Help:Maths|Maths]]
 +
* [[Help:Categories|Categories]]
 +
* [[Help:Subpages|Subpages]]
 +
* [[Help:Managing files|Managing files]]
 +
* [[Help:Moving a page|Moving a page]]
 +
* [[Help:Redirects|Redirects]]
 +
* [[Help:Deleting a page|Deleting a page]]
 +
* [[Help:Protected pages|Protected pages]]
  
[[Builder]]
+
* [[Help:Templates|Templates]]
 +
* [[Help:Variables|Variables]]
 +
* [[Help:Namespaces|Namespaces]]
  
== Event-B User Interface ==
+
* [[Help:Special pages|Special pages]]
 +
* [[Help:External searches|External searches]]
  
[[Editing]]
+
===Personal customization===
 +
* [[Help:Preferences|Preferences]]
 +
* [[Help:Skins|Skins]]
  
[[Proving]]
+
==Wiki administration==
  
== Event-B Library ==
+
* [[Help:Sysops and permissions|Sysops and permissions]]
  
[[Abstract Syntax Tree]]
+
The following features require extra permissions that are not normally granted to all wiki users.
  
[[Static Checker]]
+
* [[Help:Protecting and unprotecting pages|Protecting and unprotecting pages]]
 +
* [[Help:Sysop deleting and undeleting|Sysop deleting and undeleting]]
 +
* [[Help:Patrolled edits|Patrolled edits]]
 +
* [[Help:Blocking users|Blocking users]]
 +
* [[Help:Range blocks|Range IP blocks]]
 +
* [[Help:Assigning permissions|Assigning permissions]]
  
[[Proof Obligation Generator]]
+
[[Category:Help| ]]
 +
__NOTOC__

Revision as of 09:19, 5 September 2008