[isabelle-dev] AFP continously broken

Makarius makarius at sketis.net
Fri Feb 28 13:32:45 CET 2014

On Thu, 27 Feb 2014, Jasmin Christian Blanchette wrote:

> to the extent that this was possible with an already broken AFP

This is actually the main problem: a broken state of AFP for more than 
0.5--2 days accumulates more and more problems, and then significant time 
needs to be spent to sort it out.

I am using AFP these days continuously to conduct empirical proof, to test 
hypotheses about changes and reforms of Isabelle, without doing any harm 
to the majority to applications.


More information about the isabelle-dev mailing list