[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:
https://ci.isabelle.systems/afp-submission/
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!
Tobias

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.