Information for "Event-B:Village Pump"

From Event-B
Jump to navigationJump to search

Basic information

Display titleEvent-B:Village Pump
Redirects toEvent-B:Village pump (info)
Default sort keyVillage Pump
Page length (in bytes)34
Namespace ID4
NamespaceEvent-B
Page ID527
Page content languageen-gb - British English
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page0
Number of subpages of this page0 (0 redirects; 0 non-redirects)

Page protection

EditAllow all users (infinite)
MoveAllow all users (infinite)
View the protection log for this page.

Edit history

Page creatorimported>Mathieu
Date of page creation10:24, 3 July 2008
Latest editorimported>Mathieu
Date of latest edit10:24, 3 July 2008
Total number of edits1
Total number of distinct authors1
Recent number of edits (within past 90 days)0
Recent number of distinct authors0