[isabelle-dev] Uses of Jenkins at TUM

Makarius makarius at sketis.net
Fri Apr 28 17:21:33 CEST 2017


On 24/04/17 14:46, Makarius wrote:
> This is another attempt to open a discussion about Jenkins at TUM.

Thanks to everyone who participated on this thread. I have learned a few
new things, which I will pick up again soon.


	Makarius




More information about the isabelle-dev mailing list