[isabelle-dev] MacMercurial

[Lawrence Paulson]

Possibly of interest to Mac users. It is particularly good at  
monitoring the status of your local files and comparing them with your  
local repository.

http://www.jwwalker.com/pages/macmerc.html

Larry

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20090827/4c0812d1/attachment.htm>