Information for "Template:Navigation"

Basic information

Display title	Template:Navigation
Default sort key	Navigation
Page length (in bytes)	1,098
Namespace	Template
Page ID	1546
Page content language	en-gb - British English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	0
Number of subpages of this page	0 (0 redirects; 0 non-redirects)

Edit	Allow all users (infinite)
Move	Allow all users (infinite)

Page creator	imported>Mathieu
Date of page creation	16:31, 2 July 2008
Latest editor	imported>Mathieu
Date of latest edit	12:59, 11 September 2008
Total number of edits	19
Total number of distinct authors	1
Recent number of edits (within past 90 days)	0
Recent number of distinct authors	0

Transcluded template (1)	Template used on this page: Template:Navigation (view source)
Pages transcluded on (15)	Templates used on this page: Adding Reasoners(How to extend Rodin Tutorial) (view source) Creating a new plug-in using eclipse (How to extend Rodin Tutorial) (view source) Extending the Proof Obligation Generator (How to extend Rodin Tutorial) (view source) Extending the Proof Obligation Generator(How to extend Rodin Tutorial) (view source) Extending the Rodin Event-B Explorer (How to extend Rodin Tutorial) (view source) Extending the Rodin Pretty Print Page (How to extend Rodin Tutorial) (view source) Extending the Rodin Structured Editor (How to extend Rodin Tutorial) (view source) Extending the Rodin database (How to extend Rodin Tutorial) (view source) Extending the Static Checker (How to extend Rodin Tutorial) (view source) Introduction (How to extend Rodin Tutorial) (view source) Plug-in Tutorial (view source) Providing help for your plug-in (How to extend Rodin Tutorial) (view source) Rodin Proving Perspective (view source) The Proving Perspective (Rodin User Manual) (view source) Template:Navigation (view source)