[isabelle-dev] Jenkins maintenance

Makarius makarius at sketis.net
Sat Sep 24 20:46:44 CEST 2016

On 24/09/16 17:47, Lars Hupel wrote:
> This is hardly a new concept – it's not
> just industry standard, but even best practice (the term "Continuous
> integration" itself traces back to 1991). There is no point in going
> back to an outdated development model.

Technical decisions need real reasons, not buzzwords.


More information about the isabelle-dev mailing list