lp15 at cam.ac.uk
Mon Sep 7 17:05:10 CEST 2009
I recently had a number of problems with Mercurial. The cause of one
of them turned out to be that Mercurial doesn't interact with MacOS X
very well, so although the commit command launches an editor to
request a commit message, this message never reaches mercurial.
But a more serious problem was that resolution of conflicts did not
work properly, simply discarding all the work I had done. Looking at
the documentation, I see that Mercurial has no built-in code for
merging, but calls an external tool. It is very likely that the result
of this tool (under MacOS X) also never reaches Mercurial.
Does anybody know how to set up mercurial on a Mac so that it performs
its basic functions correctly? And this setting up must not take hours.
More information about the isabelle-dev