[isabelle] AFP submission outage

Dear potential AFP submitters,

due to a server outage, the AFP submission system will be unavailable
for a while, presumable until this Friday (29 May).

If you have an urgent submission that cannot wait until the system is
back up again, feel free to submit it as a .tar.gz file via email to
afp-submit at in.tum.de, including meta information:

- list of authors (possibly with email addresses and web sites if you
wish for those to appear on the web site)
- abstract (usually the same as the LaTeX abstract in root.tex)
- list of topics (as listed in the AFP Index)
- whether you want BSD or LGPL licence
- email address of the person(s) who will maintain the entry



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