[isabelle-dev] Current AFP problems

Lars Hupel hupel at in.tum.de
Fri Mar 8 22:20:21 CET 2019


> I’m getting no alerts for some reason 

I don't see any mail delivery issues in the logs. Maybe none of your
sessions were affected?

Cheers
Lars



More information about the isabelle-dev mailing list