DiscussionsEverything about the Isabelle development process: repositories, tasks etc., concerning the Isabelle development processetc. 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]]).