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://isabelle-dev.sketis.net/project/view/3 | 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,