[isabelle-dev] AFP failures in sessions ConcurrentGC, MonoBoolTranAlgebra, Presburger-Automata, Vickrey_Clarke_Groves

Lars Hupel hupel at in.tum.de
Thu Nov 19 10:21:45 CET 2015

Hi Florian,

> What is the reason for this?  No access to suitable computing machines?

currently, the "new" testboard only performs "makeall" on the
distribution. As I wrote in my mail from yesterday, I'm working on it. I
expect to be able to make a recommendation on how to reinstate regular
testing within this week.


More information about the isabelle-dev mailing list