http://www.impredicative.com/wiki/index.php?title=Contributing_to_this_wiki&feed=atom&action=historyContributing to this wiki - Revision history2024-03-28T12:26:25ZRevision history for this page on the wikiMediaWiki 1.19.20+dfsg-2.3http://www.impredicative.com/wiki/index.php?title=Contributing_to_this_wiki&diff=163&oldid=prevAdam Chlipala: Mention need to send username; change my e-mail address2015-01-22T15:14:30Z<p>Mention need to send username; change my e-mail address</p>
<table class='diff diff-contentalign-left'>
<tr valign='top'>
<td colspan='1' style="background-color: white; color:black;">← Older revision</td>
<td colspan='1' style="background-color: white; color:black;">Revision as of 15:14, 22 January 2015</td>
</tr></table>Adam Chlipalahttp://www.impredicative.com/wiki/index.php?title=Contributing_to_this_wiki&diff=126&oldid=prevAdam Chlipala: Clarify that you must create an account first2011-06-24T17:00:00Z<p>Clarify that you must create an account first</p>
<table class='diff diff-contentalign-left'>
<tr valign='top'>
<td colspan='1' style="background-color: white; color:black;">← Older revision</td>
<td colspan='1' style="background-color: white; color:black;">Revision as of 17:00, 24 June 2011</td>
</tr></table>Adam Chlipalahttp://www.impredicative.com/wiki/index.php?title=Contributing_to_this_wiki&diff=82&oldid=prevMarcWeber: document how to get an account for this wiki2010-11-18T20:10:32Z<p>document how to get an account for this wiki</p>
<p><b>New page</b></p><div>Send Adam a mail to get a wiki account:<br />
http://www.impredicative.com/pipermail/ur/2010-November/000273.html</div>MarcWeber