[isabelle-dev] MacMercurial

Lawrence Paulson lp15 at cam.ac.uk
Thu Aug 27 16:49:04 CEST 2009

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.



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

More information about the isabelle-dev mailing list