Dear list, the build services will be offline this weekend. I will perform some regular maintenance, but first and foremost I will flip on the mails again. isatest and afptest will be disabled for good.
AFP maintainers (= people who have their mail address in a config file) might receive some spurious mails should something go wrong during testing. I apologize for that and try very hard to keep these at a minimum. They will use some "isabelle.systems" (sub)domain as a sender address in case you want to filter them in your mail client. I will send another update on Monday when the upgrades went through. Note that the plan to re-purpose macbroy2 has been delayed, because there are some critical use cases which can't be migrated yet. Cheers Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev