[isabelle-dev] Current AFP problems
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?
More information about the isabelle-dev