[isabelle-dev] More Mercurial hints

Brian Huffman brianh at cs.pdx.edu
Wed Mar 4 23:06:26 CET 2009

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?


- Brian

More information about the isabelle-dev mailing list