This is another attempt to open a discussion about Jenkins at TUM. Are there users of it outside the TUM group?
What is good about it? What is bad about it? Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev