[isabelle-dev] isatest home directory full

[Makarius]

The home directory of isatest has reached its disk quote, which means that 
recent tests were referring to an old clone of the repository, since the 
hg update did not work.

I've managed to remove more than 5 GB of old heap files, but this might be 
a bit pathethic due to this directory:

   225G tmp/shared_results

Does anybody know what it is?


 	Makarius