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 circumstances.) Makarius