Contributing to this wiki

From Impredicative Wiki
Revision as of 13:00, 24 June 2011 by Adam Chlipala (Talk | contribs)

Jump to: navigation, search

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

Personal tools