Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] AFP submission outage

Email Gateway (Aug 23 2022 at 09:02):

From: Manuel Eberl <eberlm@in.tum.de>
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@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

Cheers,

Manuel

Last updated: Apr 25 2024 at 08:20 UTC