On 25/09/2019 21:58, Makarius wrote: > Our new Phabricator service for Isabelle development is taking shape: > https://phabricator.sketis.net The URL is now https://isabelle-dev.sketis.net Makarius