Everything aboutSupport for the Isabelle development process: repositories, tasks, etc. This is a continuation of the isabelle-dev mailing list; it does not include access to the Isabelle repository yet (see also [[https://phabricator.sketis.net/project/view/3 | isabelle-repository]]).