[isabelle] New AFP submission system

Submission to the Archive of Formal Proofs has become even easier!
We are proud to announce the availability of an online submission system:
Please submit your articles via that web page. It collects the necessary information and runs your submission. See also http://afp.sourceforge.net/submitting.shtml.

Happy submitting!

PS Thanks to Max Haslbeck, Johannes HÃlzl and Lars Hupel for the design and implementation.

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.