[isabelle-dev] AFP statistics

[Makarius]

Can anybody say where AFP is tested and if there are statistics 
accumulating?

The traditional isatest data is now empty 
http://isabelle.in.tum.de/devel/stats/afp.html


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