Information for "World of Coq"

Jump to: navigation, search

Basic information

Display titleWorld of Coq
Default sort keyWorld of Coq
Page length (in bytes)3,052
Page ID9153
Page content languageBritish English (en-gb)
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page3
Counted as a content pageYes
Number of subpages of this page0 (0 redirects; 0 non-redirects)

Page protection

EditAllow all users
MoveAllow all users

Edit history

Page creatorEganio (Talk | contribs)
Date of page creation08:02, 5 July 2008
Latest editorGboyers (Talk | contribs)
Date of latest edit21:27, 18 November 2012
Total number of edits32
Total number of distinct authors16
Recent number of edits (within past 90 days)0
Recent number of distinct authors0