> The reason why I have been so explicit about it this time: I've been > visiting colleagues in Paris (including Coq developers), and later had > discussions with other people in Prague about related topics. They have > huge problems by being too uncritical about doing it like the majority > (or "industry") does.
Did those people also specify what kind of problems they encountered? Or is this just a gut feeling? Please note that nobody advocates for doing anything uncritically. In particular, I would be very surprised if anybody would uncritically suggest using Mercurial. _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
