> The Bitbucket incident is further motivation to continue working on this > soon. Instead of participating in noisy discussions about what the BIG > INDUSTRY is doing, I will save the energy and invest in further > investigations about plain and good technologies. There is almost 1 year > of time left.
It would behove you to stop discrediting me by using ALL CAPS and calling the valid points I'm bringing up "noisy". Please also note that I haven't (yet) argued for or against Mercurial, Git, Bitbucket, GitHub or self-hosted solutions. I'm merely criticizing your irrational style of discussion. _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
