[isabelle-dev] Fwd: You have been unsubscribed from the Isabelle-ci mailing list

Makarius makarius at sketis.net
Sat Oct 1 20:49:47 CEST 2016

Previous message (by thread): [isabelle-dev] NEWS: new proof method "argo"
Next message (by thread): [isabelle-dev] Notes on isabelle build -a
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

-------- 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-bounces at mail46.informatik.tu-muenchen.de


No more Jenkins SPAM.


	Makarius

Previous message (by thread): [isabelle-dev] NEWS: new proof method "argo"
Next message (by thread): [isabelle-dev] Notes on isabelle build -a
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list