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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
