Discussions, tasks etc. concerning the Isabelle development process (a continuation of the 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]]).