Support for the Isabelle development process: repositories, tasks, etc. This is a continuation of the [[https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev|isabelle-dev mailing list]]. This does not include access to the Isabelle repository yet (see also [[https://phabricator.sketis.net/project/view/3 | isabelle-repository]]).