> That is a bit more worrying. I personally don’t mind, but I could imagine > others getting confused about which parts need updating. Is this usually > triggered by you updating python specifically, or does it also occur with > standard OS updates? (Mac or Linux?)
It's on Mac. I didn't keep a close track on it, but I think issues must have arisen when I updated MacPorts (the equivalent of "apt-get upgrade"). But then I have hg-git checked out as a repository, and I just had to "hg pull -u" it and hg-git worked again, every time. The trouble, in short, is that Python and hg are managed by MacPorts whereas there's no MacPorts package. Jasmin _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
