Contributing to this wiki

From Impredicative Wiki
(Difference between revisions)
Jump to: navigation, search
(document how to get an account for this wiki)
 
(Mention need to send username; change my e-mail address)
 
(One intermediate revision by one user not shown)

Latest revision as of 10:14, 22 January 2015

After creating a wiki account, send Adam a mail, including your wiki username, to have write privileges added: http://www.impredicative.com/pipermail/ur/2010-November/000273.html

Personal tools