[isabelle-dev] Sunsetting Mercurial support in Bitbucket

Joshua Chen isabelle-dev at joshchen.io
Fri Aug 23 01:19:14 CEST 2019


Could we also please avoid language and notions of "elitism"?

It's already hard enough as it is for newcomers to learn how to set up
and work with the system, find documentation, etc. without such a
culture in the background.



More information about the isabelle-dev mailing list