[isabelle-dev] Disabled Jenkins mails

Lars Hupel hupel at in.tum.de
Sun Feb 28 17:52:59 CET 2016


Dear list,

I have temporarily disabled all mails from Jenkins. I hope to re-enable
them soon with less useless traffic. Apologies for the spam.

Cheers
Lars


More information about the isabelle-dev mailing list