Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
What is the situation with mira reports? The website shows a default
Mercurial view, without any test results.
- [isabelle-dev] http://isabelle.in.tum.de/reports/Isabelle Makarius
