Information for "Rodin Plug-ins"

From Event-B
Jump to: navigation, search

Basic information

Display titleRodin Plug-ins
Default sort keyRodin Plug-ins
Page length (in bytes)5,536
Page ID11
Page content languageEnglish (en)
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page0
Counted as a content pageYes

Page protection

EditAllow all users (infinite)
MoveAllow all users (infinite)

Edit history

Page creatorColin (talk | contribs)
Date of page creation12:27, 3 April 2008
Latest editorSon (talk | contribs)
Date of latest edit00:18, 22 July 2017
Total number of edits98
Total number of distinct authors27
Recent number of edits (within past 90 days)1
Recent number of distinct authors1