[isabelle-dev] TortoiseHg: GUI for Mercurial

[Makarius]

Another hint on add-on tools for Mercurial.

TortoiseHg http://tortoisehg.sourceforge.net/ is a nice graphical 
interface for Mercurial.  For historical reasons it is advertized mostly 
for windows, but it also works for Linux and Mac OS, using a generic 
Python/Gtk application http://tortoisehg.wiki.sourceforge.net/hgtk

For example, the "hgtk log" tool is similar to the old "hg view" (which 
was a bit ugly due to Tcl/Tk).


	Makarius