[isabelle-dev] TortoiseHg: GUI for Mercurial
makarius at sketis.net
Thu Dec 11 21:45:38 CET 2008
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).
More information about the isabelle-dev