[isabelle-dev] Mira/AFP broken?

[Lars Noschinski]

On 20.03.2015 00:03, Makarius wrote:
> There are very few AFP tests on
> http://isabelle.in.tum.de/reports/Isabelle in recent weeks/months.
>
> Is there anybody who understands how that works, to look what is the
> situation?
It seems that the mira AFP test locked up during mirroring the
repositories about a month ago. I restarted it.
>
>
>     Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>