Information for "Event-B XText Front-end User Guide"

From Event-B
Jump to navigationJump to search

Basic information

Display titleEvent-B XText Front-end User Guide
Default sort keyEvent-B XText Front-end User Guide
Page length (in bytes)1,713
Namespace ID0
Page ID136
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>Son
Date of page creation15:34, 4 November 2016
Latest editorimported>Son
Date of latest edit23:27, 21 July 2017
Total number of edits18
Total number of distinct authors1
Recent number of edits (within past 90 days)0
Recent number of distinct authors0