[isabelle-dev] More Mercurial hints
makarius at sketis.net
Wed Mar 4 23:10:10 CET 2009
On Wed, 4 Mar 2009, Brian Huffman wrote:
> Quoting Makarius <makarius at sketis.net>:
> >I've found some nice illustrations on the web ...
> >Mercurial: http://tinyurl.com/cxrbjt
> >CVS: http://tinyurl.com/dk3gsz
> So, you're saying that with Mercurial, you can do a lot more damage?
Yes, if the tool is not handled properly. Quoting our README_REPOSITORY:
"More power for the user also means more responsibility!"
On the other hand we do need such a powerful tool for this hulk.
More information about the isabelle-dev