Contributing to this wiki

From Impredicative Wiki
Revision as of 11:14, 22 January 2015 by Adam Chlipala (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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

Retrieved from "http://www.impredicative.com/wiki/index.php?title=Contributing_to_this_wiki&oldid=163"
Personal tools