[isabelle-dev] More Mercurial hints

[Makarius]

I've found some nice illustrations on the web ...

Mercurial:  http://tinyurl.com/cxrbjt
CVS:        http://tinyurl.com/dk3gsz


        Makarius