[isabelle-dev] isatest home directory full
makarius at sketis.net
Sun Apr 22 13:45:27 CEST 2012
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:
Does anybody know what it is?
More information about the isabelle-dev