[isabelle-dev] Mira up again

Alexander Krauss krauss at in.tum.de
Mon Aug 8 22:07:56 CEST 2011


On 08/07/2011 02:53 PM, Alexander Krauss wrote:
> The mira framework, which serves our continuous builds, is currently
> down, since I messed something up while updating the data representation
> in the database.

We're back to normal operation.

Alex



More information about the isabelle-dev mailing list