[isabelle-dev] Fwd: isabelle test failed

Makarius makarius at sketis.net
Mon Jul 13 14:25:52 CEST 2015


On Mon, 13 Jul 2015, Makarius wrote:

> Hopefully we can not return to isatest runs that work routinely.  But we 
> also need to revisit the actual problem eventually.

This should read as "Hopefully we can *now* return ..."


 	Makarius




More information about the isabelle-dev mailing list