[isabelle-dev] [ExternalEmail] AFP hosting

Klein, Gerwin (Data61, Kensington NSW) Gerwin.Klein at data61.csiro.au
Mon Aug 26 11:04:01 CEST 2019

> 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.


More information about the isabelle-dev mailing list