> 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?
These are the results from the mira runs, which in theory are kept
eternally. There is the mira command »purge« which throws them away
except the most recent ones (however the heuristic is). I personally
don't have any intimate knowledge about the mira setup at TUM any longer
and am reluctant to risk something, so I kindly ask for action from the
current mira administrators at TUM.
Best,
Florian
--
PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
