[isabelle-dev] Mercurial conversion relaunch
lp15 at cam.ac.uk
Thu Sep 4 12:52:20 CEST 2008
Changing revision control systems would be a major upheaval, so I hope
it will bring clear benefits. First, as a very obvious point, I assume
that there is a way of importing the entire revision history (not just
the current snapshot) into the new system. It would not be acceptable
if we had to use two different systems depending on the age of the
revision that we are interested in looking at.
My particular concern would be the state of user interface support for
Mercurial. I gather that I am not the only RSI sufferer among the
developers. One advantage of CVS is that it is well integrated with
editors. I use BBEdit and I can for example revert to an old version
of a file, display the differences between it and other versions
(earlier and later), and carry across differences that I wish to
preserve, all without touching the keyboard. So I would like to know
whether there is a way of doing such things in Mercurial without
resorting to the command line.
On 3 Sep 2008, at 20:20, Makarius wrote:
> Incremental repository conversion is not very stable. Problems are
> to occur again in this intermediate situation where the old CVS is
> in action. Pretty soon we really need to step forward to using
> exclusively, or stay with CVS indefinitely.
> There are no technical problems to move on. It is mainly a matter
> of more
> people getting acquinted with the current state-of-the art in version
> control. As pointed out before, Mercurial is actually easier to use
> old CVS/SVN, only the way of thinking needs to be updated a little.
More information about the isabelle-dev