[isabelle-dev] Mira/AFP broken?
noschinl at in.tum.de
Fri Mar 20 09:45:05 CET 2015
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
It seems that the mira AFP test locked up during mirroring the
repositories about a month ago. I restarted it.
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev