Excerpts from Adam Chlipala's message of Thu Nov 18 20:31:05 +0100 2010: > Right now, this is hard, since I have the wiki set up to require > explicit granting of write access. Anyone who wants this access just > needs to e-mail me with a wiki account name.
I added some minimal documentation: http://www.impredicative.com/wiki/index.php/Contributing_to_this_wiki So interested people will find it. Marc Weber _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
