[isabelle-dev] Mira/AFP broken?

Makarius makarius at sketis.net
Fri Mar 20 00:03:47 CET 2015


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


More information about the isabelle-dev mailing list