[Proof Complexity] list archives

[Emil Jerabek]

Dear colleagues,

The proof complexity list has now acquired public archives, which you can
access at

    http://list.math.cas.cz/pipermail/proof-complexity/

(There is also a link from the list information page,
http://list.math.cas.cz/listinfo/proof-complexity). I hope this will
enhance the usefulness of the list as an announcement venue.

Best regards,
Emil Jerabek