[isabelle-dev] Mira still alive?

[Makarius]

On http://isabelle.in.tum.de/reports/Isabelle there is very little to see. 
This is occasionally important to investigate timing problems, or to see 
how Isabelle vs. AFP works out.

        Makarius

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