On 27/09/16 11:43, Lars Hupel wrote: > There are a lot of different issues in this thread, so let's unpack them > separately. > >> Technical decisions need real reasons, not buzzwords. > > What's the buzzword?
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. Here are the meaningless buzzwords from that paragraphs: industry standard best practice outdated model So far there were no explanations what the purpose of real-time continuous integration for Isabelle really is. My questions were never meant rethorically, but seriously. There must be reasons behind this that can be explained, instead of affirming "we want continuous integration". We are heading towards an Isabelle release, which is a very delicate process. For months the testing infrastructure is covering less than half of the old isatest, which was already in a state of decline. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev