> There is another option for the AFP: we could host on github and use the > mercurial git plugin [https://hg-git.github.io]
We could of course also stay on bitbucket with git backend. That would mean people don’t have to sign up again. I had this urge to leave the platform, because they are dropping support so annoyingly, but that’s not really necessary. Cheers, Gerwin _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
