Difference between pages "Prover Diagrams" and "Help:Contents"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Andy
 
imported>Mathieu
 
Line 1: Line 1:
−
<h1>Entity Relationship Diagrams for the Prover</h1>
+
''Help copied from [http://www.mediawiki.org/wiki/Help:Contents]''
  
−
These diagrams describe the relationships between classes/interfaces - in terms of access to information in related classes. The diagrams are not fully descriptive like a UML class diagram, but contain sufficient information to begin to understand the structural relationships within the RODIN proof tool. The diagrams were produced as an aid to visualising these relationships in order to better understand the structure.
+
==Reading==
 +
* [[Help:Navigation|Navigation]]
 +
* [[Help:Searching|Searching]]
 +
* [[Help:Tracking changes|Tracking changes]]
 +
* [[Help:Watchlist|Watchlist]]
  
−
<gallery>
+
==Editing==
−
Image:ProofStatus.png|Proof Status Diagram
+
* [[Help:Editing pages|Editing pages]]
−
Image:ProofTree.png|Proof Tree Diagram
+
* [[Help:Starting a new page|Starting a new page]]
−
Image:UserSupportDiag.png|UserSupport Diagram
+
* [[Help:Formatting|Formatting]]
−
</gallery>
+
* [[Help:Links|Links]]
 +
* [[Help:User page|User pages]]
 +
* [[Help:Talk pages|Talk pages]]
 +
 
 +
===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]]
 +
 
 +
* [[Help:Templates|Templates]]
 +
* [[Help:Variables|Variables]]
 +
* [[Help:Namespaces|Namespaces]]
 +
 
 +
* [[Help:Special pages|Special pages]]
 +
* [[Help:External searches|External searches]]
 +
 
 +
===Personal customization===
 +
* [[Help:Preferences|Preferences]]
 +
* [[Help:Skins|Skins]]
 +
 
 +
==Wiki administration==
 +
 
 +
* [[Help:Sysops and permissions|Sysops and permissions]]
 +
 
 +
The following features require extra permissions that are not normally granted to all wiki users.
 +
 
 +
* [[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]]
 +
 
 +
[[Category:Help| ]]
 +
__NOTOC__

Revision as of 09:19, 5 September 2008

Help copied from [1]

Reading

Editing

Advanced editing

Personal customization

Wiki administration

The following features require extra permissions that are not normally granted to all wiki users.

Retrieved from ‘https://wiki.event-b.org/index.php?title=Prover_Diagrams&oldid=13315’