[isabelle-dev] Current AFP problems

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

Previous message (by thread): [isabelle-dev] Current AFP problems
Next message (by thread): [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle (benchmark)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> 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

Previous message (by thread): [isabelle-dev] Current AFP problems
Next message (by thread): [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle (benchmark)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list