Information for "Records Extension"

From Event-B
Jump to navigationJump to search

Basic information

Display titleRecords Extension
Default sort keyRecords Extension
Page length (in bytes)8,388
Namespace ID0
Page ID285
Page content languageen-gb - British English
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)
View the protection log for this page.

Edit history

Page creatorimported>Colin
Date of page creation13:25, 7 January 2010
Latest editorimported>Vitaly
Date of latest edit13:07, 21 July 2010
Total number of edits27
Total number of distinct authors2
Recent number of edits (within past 90 days)0
Recent number of distinct authors0