-------- 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