[isabelle-dev] More Mercurial hints

Makarius 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 mailing list