[isabelle-dev] Isatest

Tobias Nipkow nipkow at in.tum.de
Wed Mar 28 20:54:24 CEST 2012

Sounds like a sensible idea to avoid test failures to go unnoticed.


Am 28/03/2012 20:45, schrieb Florian Haftmann:
> Hi all,
> Once there has been the idea that everyone having commit access to the
> Isabelle master repository (POSIX group isabelle at nfsbroy) is also a
> isatest subscriber.
> Maybe it would be helpful to establish this as a rule (at least of
> thumb).  Isatest mails can still be sorted out by local email filters.
> What do you think?
> Maybe in the future with mira taking over more and more realm from
> isatest, one could invent a more clever mechanism, e.g. only mail
> authors of critical changesets – which, by the way, should not be that
> difficult to implement as it is now.
> Cheers,
> 	Florian
> This body part will be downloaded on demand.

More information about the isabelle-dev mailing list