[isabelle-dev] Incomplete .hgignore?

Makarius makarius at sketis.net
Tue Aug 14 21:05:17 CEST 2012

On Tue, 14 Aug 2012, Tjark Weber wrote:

> Anyway, what do you do to keep the output of "hg status" uncluttered?

Nothing, there is just a lot of garbage accumulating.  (This does not mean 
regular Isabelle sessions should write into the source space under normal 


More information about the isabelle-dev mailing list