[isabelle-dev] Mira shared results / disk quota.

Lars Noschinski noschinl at in.tum.de
Tue Aug 7 11:01:39 CEST 2012

Previous message (by thread): [isabelle-dev] List Comprehension
Next message (by thread): [isabelle-dev] download-components
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi everyone,

disk quota was running full again with mira's shared results, so i 
deleted everything except for the last 50 runs.

   -- Lars

Previous message (by thread): [isabelle-dev] List Comprehension
Next message (by thread): [isabelle-dev] download-components
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list