Information for "Talk:World of Coq"

Jump to: navigation, search

Basic information

Display titleTalk:World of Coq
Default sort keyWorld of Coq
Page length (in bytes)925
Page ID9716
Page content languageBritish English (en-gb)
Page content modelwikitext
Indexing by robotsAllowed
Number of views390
Number of redirects to this page0
Number of subpages of this page0 (0 redirects; 0 non-redirects)

Page protection

EditAllow all users
MoveAllow all users

Edit history

Page creatorMoNK (Talk)
Date of page creation10:18, 20 July 2008
Latest editorA-Dust (Talk | contribs)
Date of latest edit22:59, 21 September 2010
Total number of edits6
Total number of distinct authors3
Recent number of edits (within past 91 days)0
Recent number of distinct authors0