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>
