-------- Forwarded Message -------- Subject: You have been unsubscribed from the Isabelle-ci mailing list Date: Sat, 01 Oct 2016 20:44:59 +0200 From: isabelle-ci-boun...@mail46.informatik.tu-muenchen.de
No more Jenkins SPAM.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
