[isabelle-dev] Mira/AFP broken?

[Makarius]

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?


        Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev