Support for the Isabelle development process: repositories, tasks, etc. This is a continuation of the isabelle-dev mailing list. This does not include access to the Isabelle repository yet (see also isabelle-repository).
NOTE: This group is somehow pointless, as the whole Phabricator installation is meant to support the isabelle-dev process. All registered users can participate by default,