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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
